mathlib3
c4587245 - chore(topology/metric_space/isometry): add a missing simp lemma (#5078)

Commit

5 years ago

chore(topology/metric_space/isometry): add a missing simp lemma (#5078)

Author

urkud

urkud

Parents

Loading