fix: expose Vector DecidableEq for kernel reduction #30337
Triggered via issue
September 1, 2026 14:19
leanprover-bot
Status
Skipped
Total duration
1s
Artifacts
–