Theorem Basis.SmithNormalForm.coord_apply_embedding_eq_smul_coord

Modification history