Def Lean.ConstantInfo.getUsedConstants
Modification history
2023-10-17 14:33
Mathlib/Lean/Expr/Basic.lean
Revert "chore: revert #7703 (#7710)" …
Deleted Lean.ConstantInfo.getUsedConstantsView on Github →2023-10-16 19:01
Mathlib/Lean/Expr/Basic.lean
chore: revert #7703 (#7710) …
Added Lean.ConstantInfo.getUsedConstantsView on Github →