Theorem Group.isNilpotent_congr

Modification history