jamievicary
Results
113
comments of
jamievicary
http://globular.science/1605.002
Go to one of the big proofs at the bottom, view the proof slice, then scroll around. It's very fast in Chrome. So this is obviously not a limitation of...
Maybe this would make more sense as actions, e.g. "Sort by name", "Sort by dimension". (Or maybe just "Sort", which would sort it principally by dimension, and alphabetically within that.)...