mathlib3

15161e96 - docs(data/list/sigma): Add missing def dosctrings, expand module docs (#9909)