mathlib

4148990d - feat(set_theory/ordinal_arithmetic): Suprema and least strict upper bounds of constant families (#11862)