Expand description
Extra properties of vstd::set::Set.
Functionsยง
- is_
partition - lemma_
empty_ bad_ set_ implies_ forall - lemma_
filter_ all_ false - lemma_
filter_ len_ unchanged_ implies_ equal - lemma_
flatten_ cardinality_ under_ disjointness - lemma_
flatten_ cardinality_ under_ disjointness_ same_ length - lemma_
full_ good_ set_ implies_ forall - lemma_
insert_ filter_ false - lemma_
insert_ filter_ true - lemma_
nat_ range_ finite - lemma_
remove_ filter_ true - lemma_
set_ prop_ mutual_ exclusion - lemma_
set_ separation - pairwise_
disjoint - set_
prop_ mutual_ exclusion