Closed robert-7 closed 7 years ago
We went from reducing Colin's Subtree...
... to pruning Rose's subtree
but forgetting about some of Colin's other subtrees that are in different infoset
We went from reducing Colin's Subtree...
... to pruning Rose's subtree
but forgetting about some of Colin's other subtrees that are in different infoset