def Parser.Attr.token_simp : Lean.ParserDescr

Equations

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

def Parser.Attr.token_simp_proc : Lean.ParserDescr

Simplification procedure

Equations

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

def Parser.Attr.split_simp_proc : Lean.ParserDescr

Simplification procedure

Equations

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

def Parser.Attr.split_simp : Lean.ParserDescr

Equations

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