Def Lean.Expr.containsConst

Modification history

2023-05-06 12:10

Mathlib/Lean/Expr/Basic.lean

feat: enable cancel_denoms preprocessor in linarith (#3801) …

Added Lean.Expr.containsConst View on Github →