Theorem SetRel.preimage_subset_preimage

Modification history