mathlib3

41df5b35 - docs(data/sigma/basic): Add module docstring (#9908)