Theorem Rel.preimage_inter

Modification history