Theorem local_equiv.image_source_eq_target
Modification history
2021-02-24 00:38
src/data/equiv/local_equiv.lean
chore(data/equiv/local_equiv,topology/local_homeomorph,data/set/function): review (#6306) …
Modified local_equiv.image_source_eq_targetView on Github →