Mathlib v3 is deprecated. Go to Mathlib v4

Theorem squeeze_zero

Modification history

2019-01-23 11:48

src/analysis/normed_space/basic.lean

refactor(contraction_mapping): add more proves about Lipschitz continuous functions; cleanup proofs

Modified squeeze_zero View on Github →

2018-08-28 15:08

analysis/normed_space.lean

feat(analysis): add normed spaces

Added squeeze_zero View on Github →