Theorem SetRel.preimage_inter_subset

Modification history