Theorem AbelRuffini.leadingCoeff_Phi

Modification history

2023-06-24 19:08

Archive/Wiedijk100Theorems/AbelRuffini.lean

feat: port Archive.Wiedijk100Theorems.AbelRuffini (#5457)

Added AbelRuffini.leadingCoeff_Phi View on Github →