Documentation
Lean
.
Meta
.
Tactic
.
Simp
.
BuiltinSimprocs
Search
Google site search
return to top
source
Imports
Init
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Core
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Fin
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Int
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Nat
Lean.Meta.Tactic.Simp.BuiltinSimprocs.UInt
Imported by