Documentation

Init.Data.ToString.Macro

source
def termS!_ :
Lean.ParserDescr
Equations
  • One or more equations did not get rendered due to their size.