forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 4
Pull requests: jjdishere/mathlib4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(RingTheory): adapt Perfectoid field draft to current master (revival)
#20
opened Aug 1, 2026 by
sfingali
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.