added change(), delete(), add() methods in view
- modified url structure according to API
- can select theorem from existing theorems in the select list
- need to implement form submission