Merge branch 'master' into applytheorem
Add apply theorem action to draft proof controller
Add migration for theorem application step
Fixup controller