Theorem Function.Surjective.forall₂

Modification history