docs(set_theory/cofinality): Fix cofinality definition (#12421)
docs(set_theory/cofinality): Fix cofinality definition (#12421)

The condition is `a ≤ b`, not `¬(b > a)`.





leanprover-community/mathlib,leanprover-community/mathlib