1 problem
Matching
Shadow-diagram move conjecture. The diagrams and can be related by a finite sequence of moves, each of which is one of the listed types.
Shadow-diagram move conjecture. The diagrams and can be related by a finite sequence of moves, each of which is one of the listed types.