Theorem SetRel.preimage_univ_right

Modification history