Theorem SetRel.preimage_empty_left

Modification history