Theorem Basis.SmithNormalForm.repr_apply_embedding_eq_repr_smul

Modification history