Documentation

Mathlib.Tactic.Set

source
def Mathlib.Tactic.setArgsRest :
Lean.ParserDescr
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Mathlib.Tactic.setTactic :
    Lean.ParserDescr
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Mathlib.Tactic.tacticSet!_ :
      Lean.ParserDescr
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For