vstd::std_specs::range

Function group_range_axioms

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