Theorem AbelRuffini.map_Phi

Modification history

2023-10-14 06:04
Archive/Wiedijk100Theorems/AbelRuffini.lean
chore(Archive,Counterexamples): use `Type*` not `Type _` (#7663) …
Modified AbelRuffini.map_PhiView on Github →
2023-06-24 19:08
Archive/Wiedijk100Theorems/AbelRuffini.lean
feat: port Archive.Wiedijk100Theorems.AbelRuffini (#5457)
Added AbelRuffini.map_PhiView on Github →