Theorem inter_preimage_minimals_eq_of_rel_iff_rel_on_of_subset

Modification history