Documentation

Toric.Mathlib.RingTheory.Coalgebra.SimpAttr

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

    Simplification procedure

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

        Simplification procedure

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