Theorem Theorems100.cubic_eq_zero_iff

Modification history

2023-06-19 07:36

Archive/Wiedijk100Theorems/SolutionOfCubic.lean

feat: port Archive.Wiedijk100Theorems.SolutionOfCubic (#5203)

Added Theorems100.cubic_eq_zero_iff View on Github →