Skip to content

Knaster-Kuratowski fan S125 has fixed point property - #1841

Merged
prabau merged 1 commit into
mainfrom
s125-fixedpt
Sep 29, 2026
Merged

Knaster-Kuratowski fan S125 has fixed point property#1841
prabau merged 1 commit into
mainfrom
s125-fixedpt

Commits

  1. Commits on Sep 27, 2026