Skip to content

Fix ProductZipper sibling step failing at a factor root - #149

Merged
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/product-zipper-sibling-step-factor-root
Oct 2, 2026
Merged

Fix ProductZipper sibling step failing at a factor root#149
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/product-zipper-sibling-step-factor-root

Fix ProductZipper sibling step failing at a factor root

2f15b86
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Sep 29, 2026 in 9s