Theorem IsSimpleGroup.comm_iff_isSolvable

Modification history