-
Notifications
You must be signed in to change notification settings - Fork 56
Pull requests: pi-base/data
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Remove circular dependency between T851 and T852
theorem
#1771
opened May 6, 2026 by
prabau
Collaborator
Loading…
Initial PR for Direct limit of finite-dimensional Euclidean spaces
space
#1767
opened May 1, 2026 by
GeoffreySangston
Collaborator
Loading…
Weakly contractible spaces initial PR
property
#1761
opened Apr 27, 2026 by
felixpernegger
Collaborator
•
Draft
Box product of real lines is SLSC
awaiting-author
This PR requires the author to take further action in order to continue.
trait
#1735
opened Apr 11, 2026 by
GeoffreySangston
Collaborator
•
Draft
Add "iff Kolmogorov ..." for most remaining properties
property
#1725
opened Apr 4, 2026 by
felixpernegger
Collaborator
Loading…
S136 is scattered
awaiting-author
This PR requires the author to take further action in order to continue.
easy
trait
#1717
opened Mar 30, 2026 by
felixpernegger
Collaborator
•
Draft
Brians example S171 is not pseudocompact P22
awaiting-author
This PR requires the author to take further action in order to continue.
easy
trait
#1711
opened Mar 26, 2026 by
felixpernegger
Collaborator
Loading…
Hereditarily connected => alpha_i
theorem
#1619
opened Feb 6, 2026 by
felixpernegger
Collaborator
•
Draft
Complete S195 "Join of cofinite and left-ray topologies on ω1"
awaiting-author
This PR requires the author to take further action in order to continue.
trait
ProTip!
What’s not been updated in a month: updated:<2026-04-15.