mathlib3
a6ace8c1 - feat(set_theory/ordinal_arithmetic): Proved `sup_eq_lsub_iff_lt_sup` (#11660)

Commit

4 years ago

feat(set_theory/ordinal_arithmetic): Proved `sup_eq_lsub_iff_lt_sup` (#11660) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>

Author

vihdzp

Parents