feat(Order): add subset_Icc_iff and Set.OrdConnected.eq_Icc#41622
Open
benjub wants to merge 1 commit into
Open
feat(Order): add subset_Icc_iff and Set.OrdConnected.eq_Icc#41622benjub wants to merge 1 commit into
benjub wants to merge 1 commit into
