Skip to content

Spaces with a dispersion point are not cut point spaces - #1829

Merged
felixpernegger merged 2 commits into
mainfrom
t928-change
Aug 14, 2026
Merged

Spaces with a dispersion point are not cut point spaces#1829
felixpernegger merged 2 commits into
mainfrom
t928-change

Commits

Commits on Aug 13, 2026