Theorem Set.biUnion_preimage_singleton

Modification history