Theorem Matrix.ofLp_toEuclideanLin_apply

Modification history