Theorem MulEquiv.decompositionMonoid

Modification history