mathlib

7559d1c8 - lint(data/num/*): add docs and remove some [has_zero] requirements (#4604)