Theorem isometry.edist_eq
Modification history
2022-07-22 18:27
src/topology/metric_space/isometry.lean
feat(topology/metric_space/isometry): use namespace, add lemmas (#15591) …
Modified isometry.edist_eqView on Github →2021-04-02 21:56
src/topology/metric_space/isometry.lean
refactor(topology/metric_space/isometry): generalize to pseudo_metric (#6910) …
Modified isometry.edist_eqView on Github →