Mathlib v3 is deprecated. Go to Mathlib v4

Theorem eventually_mem_nhds_within

Modification history

2022-07-05 10:10
src/topology/continuous_on.lean
refactor(analysis/convex/specific_functions): Remove hypothesis from `deriv_sqrt_mul_log` (#15015) …
Added eventually_mem_nhds_withinView on Github →