Theorem EuclideanSpace.inner_eq_star_dotProduct

Modification history