chore: make auto param decls of private decls private #18425
Annotations
1 error
|
Check awaiting-mathlib label
PR has both "awaiting-mathlib" and "breaks-mathlib" labels.
|
Loading