https://isa-afp.org/authors/kraisch/ AFP entries of Vithor Lindermann Kraisch https://isa-afp.org/entries/Teichmuller_Tukey_Lemma.html Mon, 21 Sep 2026 00:00:00 +0000 The Teichmüller-Tukey Lemma in the AFP Logic/Set theory