Merge

📁 Source: Batteries/Data/Array/Merge.lean

Statistics

Metric	Count
Definitions dedupSorted, merge, go, mergeAdjacentDups, go, mergeDedup, mergeDedupWith, go, mergeUnsortedDedup, go, sortDedup	11
Theorems	0
Total	11

Array

Definitions

Name	Category	Theorems
dedupSorted 📖	CompOp	—
merge 📖	CompOp	—
mergeAdjacentDups 📖	CompOp	—
mergeDedup 📖	CompOp	—
mergeDedupWith 📖	CompOp	—
mergeUnsortedDedup 📖	CompOp	—
sortDedup 📖	CompOp	—

Array.merge

Definitions

Name	Category	Theorems
go 📖	CompOp	—

Array.mergeAdjacentDups

Definitions

Name	Category	Theorems
go 📖	CompOp	—

Array.mergeDedupWith

Definitions

Name	Category	Theorems
go 📖	CompOp	—

Array.mergeUnsortedDedup

Definitions

Name	Category	Theorems
go 📖	CompOp	—

---

← Back to Index