Theorem Algebra.embeddingsMatrixReindex_eq_vandermonde

Modification history