Mathlib v3 is deprecated. Go to Mathlib v4

Def Mon_Type_equivalence_Mon.functor

Modification history