Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-06 01:53 4148990d

View on Github →

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

Estimated changes

added theorem ordinal.blsub_const
added theorem ordinal.bsup_const
added theorem ordinal.lsub_const
added theorem ordinal.sup_const