Theorem Algebra.embeddingsMatrix_apply

Modification history