Documentation

Mathlib.Tactic.Set

source
def Mathlib.Tactic.setArgsRest :
Lean.ParserDescr
Instances For
    source
    def Mathlib.Tactic.setTactic :
    Lean.ParserDescr
    Instances For
      source
      def Mathlib.Tactic.tacticSet!_ :
      Lean.ParserDescr
      Instances For