Lean 3's obsolete mathematical components library: please use mathlib4
Why do you think that https://github.com/bkomuves/polynomial-algebra is a good alternative to mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Why do you think that https://github.com/bkomuves/polynomial-algebra is a good alternative to mathlib