Equations
- GoldbachProofTools.Elementary.«tacticElementary_deriv[_,,]» = Lean.ParserDescr.node `GoldbachProofTools.Elementary.«tacticElementary_deriv[_,,]» 1024 (Lean.ParserDescr.binary `andthen (Lean.ParserDescr.binary `andthen (Lean.ParserDescr.binary `andthen (Lean.ParserDescr.nonReservedSymbol "elementary_deriv" false) (Lean.ParserDescr.symbol "[")) ((Lean.ParserDescr.cat `term 0).sepBy "," (Lean.ParserDescr.symbol ", "))) (Lean.ParserDescr.symbol "]"))
Instances For
Inspect dependencies
GoldbachProofTools.Elementary.«tacticElementary_deriv[_,,]» · compiled type and proof/definition references.