forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: leanprover-community/mathlib4-nightly-testing
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fixes for "chore: reimpement liftCoeM using Functor.map for a better defeq"
#58
opened Sep 8, 2025 by
eric-wieser
•
Draft
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.