Steve Awodey
Results
1
issues of
Steve Awodey
against my own prior opinion, I think the font size in the symbol index should be increased to the match the main text, rather than the index. The reason is...
Fix now