AtomM

📁 Source: Mathlib/Util/AtomM.lean

Statistics

Metric	Count
Definitions AtomM, Context, evalAtom, red, atoms, addAtom, addAtomQ, containsThenAdd, containsThenAddQ, instInhabitedContext, default, run, isDefEqSafe	13
Theorems	0
Total	13

Mathlib.Tactic

Definitions

Name	Category	Theorems
AtomM 📖	CompOp	—
isDefEqSafe 📖	CompOp	—

Mathlib.Tactic.AtomM

Definitions

Name	Category	Theorems
Context 📖	CompData	—
addAtom 📖	CompOp	—
addAtomQ 📖	CompOp	—
containsThenAdd 📖	CompOp	—
containsThenAddQ 📖	CompOp	—
instInhabitedContext 📖	CompOp	—
run 📖	CompOp	—

Mathlib.Tactic.AtomM.Context

Definitions

Name	Category	Theorems
evalAtom 📖	CompOp	—
red 📖	CompOp	—

Mathlib.Tactic.AtomM.State

Definitions

Name	Category	Theorems
atoms 📖	CompOp	—

Mathlib.Tactic.AtomM.instInhabitedContext

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index