Mathlib v3 is deprecated. Go to Mathlib v4

Theorem preimage_coe_mem_nhds_subtype

Modification history