Theorem EuclideanSpace.inner_piLp_equiv_symm

Modification history