Documentation

Mathlib.Tactic.Set

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