Chain

Statistics

Metric	Count
Definitions	0
Theorems `pairwiseDisjoint_iUnion₂`, `pairwiseDisjoint_sUnion`, `pairwise_iUnion₂`, `pairwise_sUnion`	4
Total	4

Name	Kind	Assumes	Proves	Validates	Depends On
`pairwiseDisjoint_iUnion₂` 📖	mathematical	`IsChain` `Set` `Set.instHasSubset`	`Set.PairwiseDisjoint` `Set.iUnion` `Set.instMembership`	—	`pairwise_iUnion₂`
`pairwiseDisjoint_sUnion` 📖	mathematical	`IsChain` `Set` `Set.instHasSubset`	`Set.PairwiseDisjoint` `Set.sUnion`	—	`pairwise_sUnion`
`pairwise_iUnion₂` 📖	mathematical	`IsChain` `Set` `Set.instHasSubset`	`Set.Pairwise` `Set.iUnion` `Set.instMembership`	—	`Set.pairwise_iUnion₂_iff` `directedOn` `Set.instReflSubset`
`pairwise_sUnion` 📖	mathematical	`IsChain` `Set` `Set.instHasSubset`	`Set.Pairwise` `Set.sUnion`	—	`Set.pairwise_sUnion` `directedOn` `Set.instReflSubset`

---