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

trait cleanup

f1febd6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar