Theorem dotProduct_stdBasis_eq_mul

Modification history