Theorem isNilpotent_pi_of_bounded_class

Modification history