Skip to content

Pull requests: pi-base/data

New pull request New
12 Open 918 Closed
12 Open 918 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Some missing traits for line with two origins and related spaces
#1271 opened Mar 20, 2025 by prabau Loading…
Add "Countably generated" alias to P81
#1265 opened Mar 11, 2025 by danflapjax Loading…
1
try introducing false trait
#1226 opened Feb 5, 2025 by StevenClontz • Draft
4
Add the Clontzian Demo Space (for demo purposes, do not merge!) review-requested
#1222 opened Jan 31, 2025 by StevenClontz • Draft
@StevenClontz
6
T_4 submetacompact space smaller than first measurable cardinal is realcompact seeking-reviewer
#1212 opened Jan 25, 2025 by Moniker1998 Loading…
1
Katetov's non-normal subspace of $\beta\mathbb{N}$ seeking-reviewer
#1201 opened Jan 18, 2025 by Moniker1998 Loading…
1
Novak space is extremally disconnected seeking-reviewer
#1200 opened Jan 18, 2025 by Moniker1998 Loading…
7
A locally compact non-k_2-space seeking-reviewer
#1172 opened Dec 29, 2024 by StevenClontz Loading…
2
Add some traits of S18 (fixed) seeking-reviewer
#1166 opened Dec 29, 2024 by StevenClontz Loading…
2
Part 4 of completing S110 seeking-reviewer
#1163 opened Dec 28, 2024 by david20000813 Loading…
2
Add realcompactification of Rudin's space and basic properties seeking-reviewer
#1153 opened Dec 24, 2024 by Moniker1998 Loading…
10
Finishing up Embeddable into R/R^n
#990 opened Dec 1, 2024 by yhx-12243 • Draft
21
ProTip! Mix and match filters to narrow down what you’re looking for.