Def Function.Injective.linearOrderedCommMonoid

Modification history