mathlib3
624cb707 - feat(set_theory/ordinal_arithmetic): Extra lemmas about suprema (#11178)

Commit

4 years ago

feat(set_theory/ordinal_arithmetic): Extra lemmas about suprema (#11178) Proved lemmas pertaining to when suprema or least strict upper bounds are zero.

Author

vihdzp

Parents

de9944b1

mathlib3 624cb707 - feat(set_theory/ordinal_arithmetic): Extra lemmas about suprema (#11178)

mathlib3
624cb707 - feat(set_theory/ordinal_arithmetic): Extra lemmas about suprema (#11178)