StevenXClontz’s Twitter Archive—№ 3,997

@BiCapitalize @JadeMasterMath Hmm. I don't think I've used it myself in so many words, but it's a quick corollary of the fact that continuous images of compact are compact, which seems a little more versatile.