Skip to main content

Module mapping_set_lemmas

ostd::specs::mm::page_table

Module mapping_set_lemmas 

Source

Functionsยง

lemma_mapping_set_cardinality_bound
lemma_mapping_set_cardinality_fits_usize
lemma_mapping_set_cardinality_in_range
lemma_sub_mapping_pa_compose
lemma_wf_subset
lemma_wf_union
wf_mapping_set