Theorem Function.Surjective.infᵢ_comp

Modification history