mathlib3

doc(docs/contribute, meta/expr): sectioning doc strings

#1723

Merged