Skip to content

feat: prove T297, countably many continuous self-maps implies countable - #1339

Open
kisonecat wants to merge 1 commit into
felixpernegger:masterfrom
kisonecat:formalize-T297
Open

feat: prove T297, countably many continuous self-maps implies countable#1339
kisonecat wants to merge 1 commit into
felixpernegger:masterfrom
kisonecat:formalize-T297

Commits

Commits on Sep 12, 2026