Theorem SetRel.preimage_univ_left

Modification history