Theorem SetRel.preimage_comp

Modification history