Theorem CancelMonoid.toLeftCancelMonoid_injective

Modification history