Skip to content

S226: Gluing of Fortissimo and Sierpinski spaces#1810

Merged
prabau merged 3 commits into
mainfrom
fortiss-sierp-quotient
Jul 4, 2026
Merged

S226: Gluing of Fortissimo and Sierpinski spaces#1810
prabau merged 3 commits into
mainfrom
fortiss-sierp-quotient

Apply suggestion from @prabau

28e65a0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar