Fix some theorems that got broken by = precedence in moving them