Theorem 1.10 - part 10.5.2 - Neron-Ogg-Shafarevich - Unramified implies Good (extending properness)

In this video we continue the proof of Neron-Ogg-Shaferevich to show that the whole Neron Model is proper and connected provided the information about the special fiber being proper.