Theorem IsPGroup.to_quotient

Modification history