Theorem RightCancelMonoid.toMonoid_injective

Modification history