Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ordinal.bsup_const

Modification history

2022-02-06 01:53
src/set_theory/ordinal_arithmetic.lean
feat(set_theory/ordinal_arithmetic): Suprema and least strict upper bounds of constant families (#11862)
Added ordinal.bsup_constView on Github →