Theorem IsPGroup.card_eq_or_dvd

Modification history