Theorem SetRel.preimage_union

Modification history