isLargestKnownFiniteSimpleGroup
P160136
predicate
Indicates that the subject group stands as the largest among all currently known finite simple groups.
P160136
predicate
Indicates that the subject group stands as the largest among all currently known finite simple groups.