Theorem inter_preimage_maximals_eq_of_rel_iff_rel_on_of_subset

Modification history