Theorem EuclideanSpace.inner_single_right

Modification history