Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-05 09:44 3525d212

View on Github →

refactor(topology/metric_space/lipschitz): Simplify proof in banach contraction (#788)

Estimated changes