def Aesop.Frontend.Parser.«commandDeclare_aesop_rule_sets[_,,]» : Lean.ParserDescr

Equations

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

def Aesop.Frontend.Parser.«commandErase_aesop_rules[_,,]» : Lean.ParserDescr

Equations

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

def Aesop.Frontend.Parser.«command#aesop_rules» : Lean.ParserDescr

Equations

• Aesop.Frontend.Parser.«command#aesop_rules» = Lean.ParserDescr.node `Aesop.Frontend.Parser.command#aesop_rules 1024 (Lean.ParserDescr.symbol "#aesop_rules")