Add Theorems to Property show view