Theorem nhds_within_univ
Modification history
2020-08-05 09:09
src/topology/continuous_on.lean
refactor(*): add a notation for `nhds_within` (#3683) …
Modified nhds_within_univView on Github →2019-11-12 11:23
src/topology/continuous_on.lean
style(*): use notation `𝓝` for `nhds` (#1582) …
Modified nhds_within_univView on Github →