Theorem Function.Surjective.smulCommClass

Modification history