Theorem Set.preimage_sUnion

Modification history