Equations
- Aesop.RuleBuilder.hasConst c e = Lean.Expr.foldConsts e false fun (c' : Lean.Name) (acc : Bool) => acc || c' == c
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.