mathlib3
7d61199a - feat(set_theory/cofinality): Basic fundamental sequences (#13326)

Commit

3 years ago

feat(set_theory/cofinality): Basic fundamental sequences (#13326)

Author

vihdzp

vihdzp

Parents

Loading