def MDP.Relations.relation.quot : Lean.ParserDescr

Equations

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

def Lean.Parser.Category.relation : Category

Equations

• Lean.Parser.Category.relation = { }

def MDP.Relations.«relation≤» : Lean.ParserDescr

Equations

• MDP.Relations.«relation≤» = Lean.ParserDescr.node `MDP.Relations.«relation≤» 1024 (Lean.ParserDescr.symbol "≤")

def MDP.Relations.«relation≥» : Lean.ParserDescr

Equations

• MDP.Relations.«relation≥» = Lean.ParserDescr.node `MDP.Relations.«relation≥» 1024 (Lean.ParserDescr.symbol "≥")

def MDP.Relations.«relation=» : Lean.ParserDescr

Equations

• MDP.Relations.«relation=» = Lean.ParserDescr.node `MDP.Relations.«relation=» 1024 (Lean.ParserDescr.symbol "=")

def MDP.Relations.«relation=ᶠ» : Lean.ParserDescr

Equations

• MDP.Relations.«relation=ᶠ» = Lean.ParserDescr.node `MDP.Relations.«relation=ᶠ» 1024 (Lean.ParserDescr.symbol "=ᶠ")

def MDP.Relations.«relation∃<» : Lean.ParserDescr

Equations

• MDP.Relations.«relation∃<» = Lean.ParserDescr.node `MDP.Relations.«relation∃<» 1024 (Lean.ParserDescr.symbol "∃<")

def MDP.Relations.«relation∃>» : Lean.ParserDescr

Equations

• MDP.Relations.«relation∃>» = Lean.ParserDescr.node `MDP.Relations.«relation∃>» 1024 (Lean.ParserDescr.symbol "∃>")

def MDP.Relations.relation? : Lean.ParserDescr

Equations

• MDP.Relations.relation? = Lean.ParserDescr.node `MDP.Relations.relation? 1024 (Lean.ParserDescr.symbol "?")

def MDP.Relations.«termRelations[_]_[_]__[_]_[_]» : Lean.ParserDescr

Equations

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

def MDP.Relations.«termRela{[_]_[_]}» : Lean.ParserDescr

Equations

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