Theorem Set.preimage_iUnionLift

Modification history