Theorem Basis.SmithNormalForm.repr_comp_embedding_eq_smul

Modification history