Documentation

Lean.Meta.Tactic.Grind.Attr

Instances For

    Return theorem kind for stx of the form Attr.grindThmMod

    Equations
      Instances For

        Return theorem kind for stx of the form (Attr.grindMod)?

        Equations
          Instances For
            Equations
              Instances For