Mathlib v3 is deprecated. Go to Mathlib v4

Theorem closure_image_mem_nhds_of_uniform_inducing

Modification history