Pairwise

📁 Source: Mathlib/Logic/Equiv/Pairwise.lean

Statistics

Metric	Count
Definitions	0
Theorems pairwise_comp, pairwise_comp_iff	2
Total	2

EmbeddingLike

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
pairwise_comp 📖	mathematical	Pairwise	Function.onFun DFunLike.coe	—	Pairwise.comp_of_injective injective

EquivLike

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
pairwise_comp_iff 📖	mathematical	—	Pairwise Function.onFun DFunLike.coe toFunLike	—	Function.Bijective.pairwise_comp_iff bijective

---

← Back to Index