Theorem Holor.slice_unit_vec_mul

Modification history