Documentation

Lean.Linter.Basic

Equations
  • One or more equations did not get rendered due to their size.

If linterOption is true, print a linter warning message at the position determined by stx.

Equations