isLargestKnownFiniteSimpleGroup

P160136 predicate

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

Sample triples (1)

Subject Object
M true