Theorem inter_maximals_preimage_inter_eq_of_rel_iff_rel_on

Modification history