Theorem ordinal.cof_bsup_le_lift
Modification history
2022-04-10 01:48
src/set_theory/cofinality.lean
feat(set_theory/cofinality): Golf and extend existing results relating `cof` to `sup` and `bsup` (#12321)
Modified ordinal.cof_bsup_le_liftView on Github →