陶哲轩必备助手之人工智能数学验证+定理发明工具LEAN4 [线性代数篇2]矩阵乘积的行列式变形(上篇)
视频链接:陶哲轩必备助手之人工智能数学验证+定理发明工具LEAN4[线性代数篇2]矩阵乘积的行列式变形(上篇)_哔哩哔哩_bilibiliimportMathlib.LinearAlgebra.Matrix.DeterminantimportMathlib.GroupTheory.Perm.FinimportMathlib.GroupTheory.Perm.SignimportMathlib.Da