Mathlib v3 is deprecated. Go to Mathlib v4

Theorem frequently_nhds_within_iff

Modification history

2022-10-08 00:38
src/topology/continuous_on.lean
feat(topology/continuous_on): generalise lemma slightly (#16840) …
Modified frequently_nhds_within_iffView on Github →
2022-09-29 10:48
src/topology/continuous_on.lean
feat(analysis/analytic/isolated_zeros): the uniqueness theorem for analytic fns (#16489)
Added frequently_nhds_within_iffView on Github →