Theorem Holor.slice_unitVec_mul

Modification history