Def Lean.ConstantInfo.toDeclaration!

Modification history