Commit 2022-01-27 10:01 05e1845c
View on Github →feat(archive/100-theorems-list): add proof of the solution of the cubic (#11635) Gives solution to the cubic equation, based on the cardano's formula. The base field should have cube root of unity and characteristic neither 2 nor 3.