mathlib3
bf203b95 - docs(set_theory/cofinality): Fix cofinality definition (#12421)

Commit

4 years ago

docs(set_theory/cofinality): Fix cofinality definition (#12421) The condition is `a ≤ b`, not `¬(b > a)`.

Author

vihdzp

Parents