Theorem Rel.preimage_union

Modification history