Def Lean.ConstantInfo.updateAll

Modification history

2026-03-02 12:12
Mathlib/Lean/Expr/Basic.lean
fix(Translate): remap ConstantInfo.all during declaration translation (#35875) …
Added Lean.ConstantInfo.updateAllView on Github →