vstd::arithmetic::mul

Function group_mul_is_distributive

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