Allow user to display equivalent formulations of theorems. #209
Description
Our conclusion was that the underlying dispute (that is, the differing aesthetic preferences) would be better ameliorated by enhancements to the user interface than any style policy. As it stands, the site will only display proof or counterexamples of one converse of a theorem, but we should at least allow visitors to switch which property is treated as the consequence for this analysis.