StevenXClontz’s Twitter Archive—№ 8,803

@ProfKinyon This kind of stuff is perfectly fine in publications IMHO. But it's also a good use of forums like Math.StackExchange. I recently attempted to prove that Tychonoff's Theorem implies Zorn's Lemma without using AC on there. We all know it's possible but I've never seen a proof.