Theorem Function.Injective.isOrderedCancelMonoid

Modification history