vstd::std_specs::range

Function group_range_axioms

Source 
pub broadcast group fn group_range_axioms()
Expand description
broadcast group