Theorem eq_zero_of_nilpotencyClass_eq_one

Modification history