Documentation
Lean.Meta.Tactic.Simp
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