陶哲轩工作流-人工智能数学验证+定理发明工具LEAN4 [经典数学篇1]从零开始证明3次方程的求根公式的充要条件(下)
创作不易记得投币哦,视频链接:陶哲轩工作流-人工智能数学验证+定理发明工具LEAN4[经典数学篇1]从零开始证明3次方程的求根公式的充要条件(下)_哔哩哔哩_bilibiliimportMathlib.Tactic.LinearCombinationimportMathlib.RingTheory.Polynomial.Cyclotomic.RootsimportMathlib.Data.Poly