Equations
- opts.applyTransparency = opts.transparency?.getD Lean.Meta.TransparencyMode.default
Instances For
Equations
- opts.applyIndexTransparency = opts.indexTransparency?.getD Lean.Meta.TransparencyMode.reducible
Instances For
def
Aesop.RuleBuilderOptions.applyIndexingMode
(opts : Aesop.RuleBuilderOptions)
(type : Lean.Expr)
:
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.