∫ Утверждение Mathlib
coord_apply_embedding_eq_smul_coord
Mathlib.LinearAlgebra.FreeModule.PID
URI: https://scilib.ai/kg/mathlib#Module.Basis.SmithNormalForm.coord_apply_embedding_eq_smul_coord
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.FreeModule.PID
URI: https://scilib.ai/kg/mathlib#Module.Basis.SmithNormalForm.coord_apply_embedding_eq_smul_coord