Redirecting to
../../binius_math/fn.tensor_prod_eq_ind.html
...