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

Commits

Commits on Sep 1, 2026