Theorem Function.Surjective.rightDistribClass

Modification history