mathlib3

3870896a - doc(data/semiquot): reformat module doc properly, and add missing doc strings (#7773)