Pairwise

📁 Source: Mathlib/Data/Multiset/Pairwise.lean

Statistics

Metric	Count
Definitions Pairwise	1
Theorems forall	1
Total	2

Multiset

Definitions

Name	Category	Theorems
Pairwise 📖	MathDef	6 math math: nodup_bind, Nodup.pairwise, pairwise_coe_iff, pairwise_coe_iff_pairwise, pairwise_zero, nodup_iff_pairwise

Multiset.Pairwise

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
forall 📖	—	Symmetric Multiset.Pairwise Multiset Multiset.instMembership	—	—	List.Pairwise.forall

---

← Back to Index