Theorem nilpotent_of_mulEquiv

Modification history