mathlib
c992b04d - feat(set_theory/cardinal/cofinality): Cofinality of `nfp` and `deriv` (#12556)

Commit

3 years ago

feat(set_theory/cardinal/cofinality): Cofinality of `nfp` and `deriv` (#12556)

Author

vihdzp

vihdzp

Parents

Loading