Documentation

Lean.Meta.Tactic.Rewrite

structure Lean.Meta.RewriteResult :
Type
Equations