Theorem LeftCancelMonoid.toMonoid_injective

Modification history