Theorem Rel.preimage_inter_codom_eq

Modification history