Folding preserves block relative distance balls (Claim 4.22 WHIR)#616
Draft
ElijahVlasov wants to merge 29 commits into
Draft
Folding preserves block relative distance balls (Claim 4.22 WHIR)#616ElijahVlasov wants to merge 29 commits into
ElijahVlasov wants to merge 29 commits into
Commits
Commits on Jul 1, 2026
- committed
- committed
- committed
- committed
- committed
Commits on Jul 2, 2026
- committed
- committed
- committed
- committed
Commits on Jul 3, 2026
- committed
Commits on Jul 6, 2026
- committed
Commits on Jul 7, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 8, 2026
- andcommitted
- committed
- committed
- committed
Commits on Jul 9, 2026
- committed
- committed
- committed
- committed
- committed
- committed
