Theorem IsPGroup.iff_orderOf

Modification history