Theorem Theorems100.cubic_monic_eq_zero_iff

Modification history

2024-10-28 08:12
Archive/Wiedijk100Theorems/SolutionOfCubicQuartic.lean
chore(Wiedijk100Theorems): clean up SolutionToCubic (#18299) …
Deleted Theorems100.cubic_monic_eq_zero_iffView on Github →
2023-06-19 07:36
Archive/Wiedijk100Theorems/SolutionOfCubic.lean
feat: port Archive.Wiedijk100Theorems.SolutionOfCubic (#5203)
Added Theorems100.cubic_monic_eq_zero_iffView on Github →