Simp

📁 Source: Mathlib/Lean/Meta/Simp.lean

Statistics

Metric	Count
Definitions ofArgs, ofNames, ofTrue, getPropHyps, instToFormatSimpTheorems_mathlib, contains, getAllSimpAttrs, getAllSimpDecls, isInSimpSet, simpEq, simpOnlyNames, simpTheoremsOfNames, simpType, toList	14
Theorems	0
Total	14

Lean.Meta

Definitions

Name	Category	Theorems
getAllSimpAttrs 📖	CompOp	—
getAllSimpDecls 📖	CompOp	—
isInSimpSet 📖	CompOp	—
simpEq 📖	CompOp	—
simpOnlyNames 📖	CompOp	—
simpTheoremsOfNames 📖	CompOp	—
simpType 📖	CompOp	—

Lean.Meta.Simp

Definitions

Name	Category	Theorems
getPropHyps 📖	CompOp	—
instToFormatSimpTheorems_mathlib 📖	CompOp	—

Lean.Meta.Simp.Context

Definitions

Name	Category	Theorems
ofArgs 📖	CompOp	—
ofNames 📖	CompOp	—

Lean.Meta.Simp.Result

Definitions

Name	Category	Theorems
ofTrue 📖	CompOp	—

Lean.Meta.SimpTheorems

Definitions

Name	Category	Theorems
contains 📖	CompOp	—

Lean.PHashSet

Definitions

Name	Category	Theorems
toList 📖	CompOp	—

---

← Back to Index