mathlib3
chore(*): bundle typeclasses
#18775
Open

chore(*): bundle typeclasses #18775

vihdzp wants to merge 2 commits into master from stronger_typeclass_order
vihdzp
vihdzp stronger typeclasses
aa9b4fa7
vihdzp vihdzp added awaiting-review
vihdzp vihdzp added awaiting-CI
vihdzp fix
56e88b87
vihdzp vihdzp added t-order
eric-wieser
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone