names for subtrees #2
Description
Is the following ok?
(a | t = (b & c | d & e) )
where t refers to the subtree b & c | d & e.
{{ message }}
Is the following ok?
(a | t = (b & c | d & e) )
where t refers to the subtree b & c | d & e.