View theorem page
Rework cucumber features
Save and show theorem proof