Documentation
Lean
.
Meta
.
Tactic
.
Simp
Search
Google site search
Lean
.
Meta
.
Tactic
.
Simp
source
Imports
Init
Lean.Meta.Tactic.Simp.Main
Lean.Meta.Tactic.Simp.Rewrite
Lean.Meta.Tactic.Simp.SimpAll
Lean.Meta.Tactic.Simp.SimpCongrTheorems
Lean.Meta.Tactic.Simp.SimpTheorems
Lean.Meta.Tactic.Simp.Types
Imported by