Pairwise

Statistics

Metric	Count
Definitions	0
Theorems `forall_mem_pwFilter`, `pairwise_iff_get`, `pairwise_pwFilter`, `pwFilter_cons_of_neg`, `pwFilter_cons_of_pos`, `pwFilter_eq_self`, `pwFilter_idem`, `pwFilter_map`, `pwFilter_nil`, `pwFilter_sublist`, `pwFilter_subset`	11
Total	11

Name	Kind	Assumes	Proves	Validates	Depends On
`forall_mem_pwFilter` 📖	—	—	—	—	`pwFilter_cons_of_pos` `pwFilter_cons_of_neg` `pwFilter_subset`
`pairwise_iff_get` 📖	—	—	—	—	—
`pairwise_pwFilter` 📖	mathematical	—	`pwFilter`	—	`pwFilter_cons_of_pos` `pwFilter_cons_of_neg`
`pwFilter_cons_of_neg` 📖	mathematical	—	`pwFilter`	—	—
`pwFilter_cons_of_pos` 📖	mathematical	—	`pwFilter`	—	—
`pwFilter_eq_self` 📖	mathematical	—	`pwFilter`	—	`pairwise_pwFilter` `pwFilter_cons_of_pos`
`pwFilter_idem` 📖	mathematical	—	`pwFilter`	—	`pwFilter_eq_self` `pairwise_pwFilter`
`pwFilter_map` 📖	mathematical	—	`pwFilter`	—	`pwFilter_cons_of_pos` `pwFilter_cons_of_neg`
`pwFilter_nil` 📖	mathematical	—	`pwFilter`	—	—
`pwFilter_sublist` 📖	mathematical	—	`pwFilter`	—	`pwFilter_cons_of_pos` `pwFilter_cons_of_neg`
`pwFilter_subset` 📖	mathematical	—	`pwFilter`	—	`pwFilter_sublist`

---