Theorem Set.preimage_iUnion₂

Modification history