vstd
In vstd::std_specs::vec
?
Settings
Function
vstd
::
std_specs
::
vec
::
group_vec_axioms
Copy item path
source
·
[
−
]
pub
broadcast group
fn group_vec_axioms()
Expand description
broadcast group