feat: do not have meta imply partial
#18662
Annotations
1 error
|
Check awaiting-mathlib label
PR has both "awaiting-mathlib" and "breaks-mathlib" labels.
|
Loading