mathlib

3d1354ce - feat(set_theory/ordinal_arithmetic): Suprema of functions with the same range are equal (#11910)