Theorem Algebra.discr_eq_det_embeddingsMatrixReindex_pow_two

Modification history