Implicating against_tree -> tree
Funny enough, against_tree -tree manages to reach 2 pages of results.
Updated by jxh2154
Posted under General
Implicating against_tree -> tree
Funny enough, against_tree -tree manages to reach 2 pages of results.
Updated by jxh2154
The same goes for
I think it's pretty trivial that those should be implicated to tree also.
Did all but christmas_tree. As for that one, how are we handling more abstract trees like post #444369?
Requesting sitting_in_tree -> tree implication as well.
Cyberia-Mix said:
Requesting sitting_in_tree -> tree implication as well.
Done.