Def Lean.ConstantInfo.updateConstantVal

Modification history