mathlib3
chore(*): bundle typeclasses
#18775
Open
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
chore(*): bundle typeclasses
#18775
vihdzp
wants to merge 2 commits into
master
from
stronger_typeclass_order
stronger typeclasses
aa9b4fa7
vihdzp
added
awaiting-review
vihdzp
added
awaiting-CI
fix
56e88b87
vihdzp
added
t-order
kim-em
added
too-late
Login to write a write a comment.
Login via GitHub
Reviewers
No reviews
Assignees
No one assigned
Labels
awaiting-review
awaiting-CI
t-order
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub