Module vstd::map_lib

Functions

• lemma_disjoint_union_size
• lemma_map_new_domain
• lemma_map_new_values
• lemma_map_properties
• lemma_values_finite