Theorem Holor.sum_unit_vec_mul_slice

Modification history