HepLean Documentation

Lean.Linter.Omit

source
opaque Lean.Linter.linter.omit :
Lean.Option Bool
source
def Lean.Linter.omit :
Lean.Linter
Equations
  • One or more equations did not get rendered due to their size.
Instances For