pairwise_disjoint

📁 Source: MathlibTest/grind/pairwise_disjoint.lean

Statistics

Metric	Count
Definitions	0
Theorems pairwise_disjoint	1
Total	1

SimpleGraph.ComponentCompl

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
pairwise_disjoint 📖	mathematical	—	Pairwise SimpleGraph.ComponentCompl Disjoint Set ConditionallyCompletePartialOrderSup.toPartialOrder ConditionallyCompletePartialOrder.toConditionallyCompletePartialOrderSup ConditionallyCompleteLattice.toConditionallyCompletePartialOrder CompleteLattice.toConditionallyCompleteLattice CompleteBooleanAlgebra.toCompleteLattice CompleteAtomicBooleanAlgebra.toCompleteBooleanAlgebra Set.instCompleteAtomicBooleanAlgebra HeytingAlgebra.toOrderBot Order.Frame.toHeytingAlgebra CompleteDistribLattice.toFrame CompleteBooleanAlgebra.toCompleteDistribLattice SetLike.coe setLike	—	Set.disjoint_iff

---

← Back to Index