Documentation

Lean.Meta.Tactic.Simp.SimpAll

structure Lean.Meta.SimpAll.Entry :
Type
Equations
Equations
Equations