Mathlib v3 is deprecated. Go to Mathlib v4

Def miu.lchar_to_miustr

Modification history