Removes definition and theorem comments