Theorem normalizerCondition_of_isNilpotent

Modification history