Theorem Group.isNilpotent_top

Modification history