mathlib
4aa087aa - doc(*): work around markdown2 bug for now (#4842)

Commit

5 years ago

doc(*): work around markdown2 bug for now (#4842) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

References

Author

robertylewis

Parents