Repository navigation
Record that the (0, 15) weight-3 shape forces no 12 at (18, 21). - #7043
Open
unpaidmoon wants to merge 1 commit into
Open
unpaidmoon wants to merge 1 commit into
unpaidmoon wants to merge 1 commit into
Commits
Commits on Nov 10, 2026