Theorem Function.Injective.smulCommClass

Modification history