Documentation

FMMidgard.DataStructures.List.Unordered.Meta

source
def Parser.Attr.listst_simp_proc :
Lean.ParserDescr

Simplification procedure

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Parser.Attr.listst_simp :
    Lean.ParserDescr
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For