Closed RichardHladik closed 6 years ago
A last-minute set of typesetting-related commits. Also imports more obscure maths from Combinatorial (we probably won't use any of it, but just in case).
A last-minute set of typesetting-related commits. Also imports more obscure maths from Combinatorial (we probably won't use any of it, but just in case).