mathlib

e971eae6 - docs(data/nat/totient): add module docstring (#7899)