mathlib
9615b385
- feat(data/real): completeness criterion for Cauchy sequences (closes #654)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
6 years ago
feat(data/real): completeness criterion for Cauchy sequences (closes #654)
Author
sgouezel
Committer
johoelzl
Parents
3ac79673
Loading
mathlib
9615b385 - feat(data/real): completeness criterion for Cauchy sequences (closes #654)
