Skip to content

feat: prove T597, hyperconnected with an isolated point gives a generic point - #1334

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

feat: prove T597, hyperconnected with an isolated point gives a generic point#1334
kisonecat wants to merge 1 commit into
felixpernegger:masterfrom
kisonecat:formalize-T597

Commits

Commits on Sep 12, 2026