Theorem SetRel.image_union

Modification history