List

📁 Source: Mathlib/Data/Set/Pairwise/List.lean

Statistics

Metric	Count
Definitions	0
Theorems pairwise_coe, pairwise_of_set_pairwise	2
Total	2

List.Nodup

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
pairwise_coe 📖	mathematical	—	Set.Pairwise setOf	—	Set.pairwise_insert_of_symmetric symm_of
pairwise_of_set_pairwise 📖	—	Set.Pairwise setOf	—	—	pairwise_of_forall_ne

---

← Back to Index