Pairwise

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

Statistics

Metric	Count
Definitions Pairwise, instDecidablePairwiseOfDecidableRel	2
Theorems pairwise_append, pairwise_empty, pairwise_extract, pairwise_iff_get, pairwise_iff_getElem, pairwise_pair, pairwise_push, pairwise_singleton	8
Total	10

Array

Definitions

Name	Category	Theorems
Pairwise 📖	MathDef	7 math math: pairwise_push, pairwise_iff_getElem, pairwise_empty, pairwise_append, pairwise_pair, pairwise_singleton, pairwise_iff_get
instDecidablePairwiseOfDecidableRel 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
pairwise_append 📖	mathematical	—	Pairwise	—	—
pairwise_empty 📖	mathematical	—	Pairwise	—	—
pairwise_extract 📖	—	Pairwise	—	—	—
pairwise_iff_get 📖	mathematical	—	Pairwise	—	pairwise_iff_getElem
pairwise_iff_getElem 📖	mathematical	—	Pairwise	—	—
pairwise_pair 📖	mathematical	—	Pairwise	—	—
pairwise_push 📖	mathematical	—	Pairwise	—	—
pairwise_singleton 📖	mathematical	—	Pairwise	—	—

---

← Back to Index