lipschitz): Simplify proof in banach contraction
#788

Merged

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

johoelzl merged 1 commit into leanprover-community:master from sgouezel:banach_contraction

Simplify proof in banach contraction

b5017f09

johoelzl merged 3525d212 into master 7 years ago

sgouezel deleted the banach_contraction branch 7 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone