Theorem Function.Surjective.leftDistribClass

Modification history