mathlib3

0b4823cc - doc(*): remove `\\` hack for latex backslashes in markdown (#6263)

doc(*): remove `\\` hack for latex backslashes in markdown (#6263) With leanprover-community/doc-gen#110, these should no longer be needed. Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>