13.13. 证明🔗

调用策略的语法（Lean.Parser.Term.byTactic : termby）见证明一节。