forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: FordUniver/mathlib4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(Combinatorics/SimpleGraph/Inversion): add Möbius inversion between copy counts and induced copy counts
#36
opened May 27, 2026 by
FordUniver
Owner
Loading…
2 tasks
feat(LipschitzSmooth/Continuity): finite-dim continuity via K-semiconcavity
#35
opened May 20, 2026 by
FordUniver
Owner
•
Draft
1 task
feat(LipschitzSmooth): algebraic preservation lemmas
#33
opened May 19, 2026 by
FordUniver
Owner
•
Draft
1 task
feat(Combinatorics.SimpleGraph.Clique): add cliqueDegree and generali…
#3
opened Apr 16, 2026 by
FordUniver
Owner
•
Draft
ProTip!
Adding no:label will show everything without a label.