Theorem Basis.SmithNormalForm.toMatrix_restrict_eq_toMatrix

Modification history