Rename migration to match table name.
Merge branch '1114-add_theorem_support' into develop