Theorem Matrix.coe_toEuclideanClm_eq_toEuclideanLin

Modification history