Theorem MulEquiv.isCyclic

Modification history