Skip to content

fix: expose Vector DecidableEq for kernel reduction - #14988

Open
kim-em wants to merge 1 commit into
leanprover:masterfrom
kim-em:expose-vector-decidableeq
Open

fix: expose Vector DecidableEq for kernel reduction#14988
kim-em wants to merge 1 commit into
leanprover:masterfrom
kim-em:expose-vector-decidableeq

fix: expose Vector DecidableEq for kernel reduction

5180276
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-awaiting-manual
succeeded Sep 1, 2026 in 4s