Theorem Set.surjOn_iUnion

Modification history