Skip to content

Pull requests: pi-base/data

New pull request New
11 Open 857 Closed
11 Open 857 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

Expand definitions of locally (path) connected review-requested
#1181 opened Jan 3, 2025 by prabau Loading…
1
Circle with two origins fresh blocked
#1176 opened Dec 31, 2024 by GeoffreySangston Loading…
3
Tweaks for S139 S201 review-requested
#1173 opened Dec 30, 2024 by prabau Loading…
4
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…
1
Part 4 of completing S110 seeking-reviewer
#1163 opened Dec 28, 2024 by david20000813 Loading…
1
Add realcompactification of Rudin's space and basic properties seeking-reviewer
#1153 opened Dec 24, 2024 by Moniker1998 Loading…
8
Add some traits of S18
#1151 opened Dec 24, 2024 by Moniker1998 • Draft
6
Fix S72 description review-requested
#1092 opened Dec 15, 2024 by StevenClontz Loading…
1
11
Add strongly paracompact theorems from Engelking
#992 opened Dec 1, 2024 by yhx-12243 Loading…
14
Finishing up Embeddable into R/R^n
#990 opened Dec 1, 2024 by yhx-12243 • Draft
14
ProTip! Type g i on any issue or pull request to go back to the issue listing page.