def tacticTauto_set! : Lean.ParserDescr

Equations

• tacticTauto_set! = Lean.ParserDescr.node `tacticTauto_set! 1024 (Lean.ParserDescr.nonReservedSymbol "tauto_set!" false)