Skip to content

Pull requests: metamath/set.mm

New pull request New
8 Open 4,901 Closed
8 Open 4,901 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Follow up of PR #5348: theorems for signum function
#5357 opened Jun 21, 2026 by avekens Contributor Loading…
6
Revise reldisjun: Remove requirement that A and B are disjoint
#5356 opened Jun 20, 2026 by EricSchmidt-119 Contributor Loading…
1
Follow up of PR #5318: variants of theorems ~ring1zr, ~rngen1zr, ~ringen1zr for nonunital instead of unital rings
#5354 opened Jun 19, 2026 by avekens Contributor Loading…
Elementary Geometry: Planes and parallelism
#5352 opened Jun 17, 2026 by tirix Contributor Loading…
21
detailed explanation of df-sb
#5345 opened Jun 14, 2026 by wlammen Contributor Loading…
revise df-mo
#5343 opened Jun 13, 2026 by wlammen Contributor Loading…
Justify df-nfc with restatement
#5207 opened Feb 18, 2026 by LegionMammal978 Contributor Loading…
6
experimental - introduce Hadwiger-Nelson problem as ~ undiscolmin
#5196 opened Feb 11, 2026 by ProgramCrafter Contributor • Draft
4
ProTip! Exclude everything labeled bug with -label:bug.