[WIP] Tidy MathListIndex#159
Draft
charlesroddie wants to merge 16 commits intomasterfrom TidyMathListIndex
+421-336
Commits
Commits on Aug 11, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 12, 2020
- committed
- committed
- committed
- committed
- committed
Commits on Aug 13, 2020
- committed
- committed
Commits on Aug 15, 2020
- committed