Theorem local_homeomorph.inv_apply_eq_of_eq_on_source
Modification history
2020-05-28 08:37
src/topology/local_homeomorph.lean
refactor(data/equiv/local_equiv): use dot notation for `eq_on_source` (#2830) …
Deleted local_homeomorph.inv_apply_eq_of_eq_on_sourceView on Github →