Categoricity requires full models only; general models necessarily admit multiple non-isomorphic mod...
This proposition has not been edited since the history system was added.