Theorem SetRel.preimage_inter_cod

Modification history