mathlib3
609eb59e - feat(set_theory/cofinality): Every ordinal has a fundamental sequence (#12317)

Commit

4 years ago

feat(set_theory/cofinality): Every ordinal has a fundamental sequence (#12317)

Author

vihdzp

vihdzp

Parents

Loading