Mathlib v3 is deprecated. Go to Mathlib v4

Def UniformSpace.forget_to_Type_via_Top

Modification history