mathlib3

1a160b47 - Merge branch 'sup_eq_of_range_eq' into cofinality_refactor