Documentation
Lean
.
Meta
.
Tactic
.
Simp
.
BuiltinSimprocs
Search
return to top
source
Imports
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Array
Lean.Meta.Tactic.Simp.BuiltinSimprocs.BitVec
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Char
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Core
Lean.Meta.Tactic.Simp.BuiltinSimprocs.CtorIdx
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Fin
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Int
Lean.Meta.Tactic.Simp.BuiltinSimprocs.List
Lean.Meta.Tactic.Simp.BuiltinSimprocs.MethodSpecs
Lean.Meta.Tactic.Simp.BuiltinSimprocs.Nat
Lean.Meta.Tactic.Simp.BuiltinSimprocs.SInt
Lean.Meta.Tactic.Simp.BuiltinSimprocs.String
Lean.Meta.Tactic.Simp.BuiltinSimprocs.UInt
Imported by
← Copula mathematical handbook