mathlib

7eff2330 - feat(set_theory/cofinality): Golf and extend existing results relating `cof` to `sup` and `bsup` (#12321)