Skip to content

Pull requests: metamath/set.mm

New pull request New
9 Open 4,595 Closed
9 Open 4,595 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

Nested antecedents mathbox only
#5033 opened Oct 2, 2025 by ducourtial Loading…
1
A revised attempt at ax-mulf comment wording
#5032 opened Oct 2, 2025 by jkingdon Loading…
Star graphs and two locally isomorphic generalized Petersen graphs.
#5028 opened Sep 30, 2025 by avekens Loading…
3
Showing Replacement, Separation, and Pairing hold in WF mathbox only
#5027 opened Sep 30, 2025 by EricSchmidt-119 Loading…
Correspondence between ODual(order dual)/oppG(opposite monoid) and oppCat (opposite category)
#5022 opened Sep 24, 2025 by zwang123 Loading…
5
Shorten axpr and reduce axiom usage
#5019 opened Sep 18, 2025 by LegionMammal978 Loading…
14
Clarify ax-mulf comment
#4796 opened Apr 30, 2025 by david-a-wheeler Loading…
14
Revisited local and global monotonicity mathbox and moves to main
#4794 opened Apr 29, 2025 by ProgramCrafter • Draft
31
Document unbound variables are basically universal
#4306 opened Oct 21, 2024 by david-a-wheeler Loading…
13
ProTip! Filter pull requests by the default branch with base:develop.