JankoGroupJ1

JankoGroupJ1[] represents the sporadic simple Janko group J1.

Examples

JankoGroupJ1[]

GroupOrder[JankoGroupJ1[]]

Please visit the official Wolfram Language Reference for more details.