Implement related tabs on show pages

[jamesdabbs]

• [x] Add subtab navigation
• [x] Implement shared references tab
• [x] Implement "related theorems" for property page

The other tabs (property > spaces and theorem > converse) require interacting with traits, which will be implemented in future work.