Theorem Theorems100.cubic_depressed_eq_zero_iff

Modification history

2024-10-28 08:12
Archive/Wiedijk100Theorems/SolutionOfCubicQuartic.lean
chore(Wiedijk100Theorems): clean up SolutionToCubic (#18299) …
Added Theorems100.cubic_depressed_eq_zero_iffView on Github →