mathlib3

9381e37d - doc(data/buffer/parser/basic): fix typo (#5792)