Theorem Function.Surjective.exists₂

Modification history