UnionFind

📁 Source: Aesop/Util/UnionFind.lean

Statistics

Metric	Count
Definitions UnionFind, add, addArray, find?, instEmptyCollection, merge, ofArray, parents, sets, size, sizes, toRep, cluster, instInhabitedUnionFind, default	15
Theorems	0
Total	15

Aesop

Definitions

Name	Category	Theorems
UnionFind 📖	CompData	—
cluster 📖	CompOp	—
instInhabitedUnionFind 📖	CompOp	—

Aesop.UnionFind

Definitions

Name	Category	Theorems
add 📖	CompOp	—
addArray 📖	CompOp	—
find? 📖	CompOp	—
instEmptyCollection 📖	CompOp	—
merge 📖	CompOp	—
ofArray 📖	CompOp	—
parents 📖	CompOp	—
sets 📖	CompOp	—
size 📖	CompOp	—
sizes 📖	CompOp	—
toRep 📖	CompOp	—

Aesop.instInhabitedUnionFind

Definitions

Name	Category	Theorems
default 📖	CompOp	—

---

← Back to Index