Theorem IsPGroup.isNilpotent

Modification history