mathlib
e1468075 - chore(*): fix bad markdown lists in doc

Commit

3 years ago

chore(*): fix bad markdown lists in doc

References

alexjbest/trivialdocfix

Author

alexjbest

alexjbest

Parents

Loading