Theorem IsPGroup.card_orbit

Modification history