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