Theorem Set.EqOn.surjOn_iff

Modification history