Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-18 15:20 7dedf3ca

View on Github →

feat(analysis/topology): injective_separated_pure_cauchy

Estimated changes

Modified analysis/topology/uniform_space.lean

added theorem Cauchy.injective_separated_pure_cauchy

Modified docs/extras/well_founded_recursion.md