lintsprint 9 Oct

Stream: general

[Johan Commelin]

https://leanprover-community.github.io/mathlib_stats/nolints.png
Just look at that graph!

Thank you so much to everyone who has been contributing over the last couple of days!

[Anatole Dedecker]

I'll take care of data/num/basic