mathlib

3a624194 - chore(data/nat/mul_ind): make docgen happy (#9036)