Def Lean.ConstantInfo.updateType

Modification history