Theorem SetRel.preimage_empty_right

Modification history