Theorem CancelCommMonoid.toCommMonoid_injective

Modification history