group_mul_is_commutative_and_distributive
vstd
In vstd::
arithmetic::
mul
vstd
::
arithmetic
::
mul
Function
group_
mul_
is_
commutative_
and_
distributive
Copy item path
Source
pub
broadcast group
fn group_mul_is_commutative_and_distributive()
Expand description
broadcast group