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