Documentation
Lean
.
Meta
.
Tactic
.
Simp
Search
Google site search
return to top
source
Imports
Init
Lean.Meta.Tactic.Simp.BuiltinSimprocs
Lean.Meta.Tactic.Simp.Main
Lean.Meta.Tactic.Simp.RegisterCommand
Lean.Meta.Tactic.Simp.Rewrite
Lean.Meta.Tactic.Simp.SimpAll
Lean.Meta.Tactic.Simp.SimpCongrTheorems
Lean.Meta.Tactic.Simp.SimpTheorems
Lean.Meta.Tactic.Simp.Simproc
Lean.Meta.Tactic.Simp.Types
Imported by