Theorem SetRel.image_inter_subset

Modification history