Manuscript X-F@1 · X-F.tex · definition · f35cc129
Definition: The three trees and the all-tree observable
F3: three trees › Definition · lines 946–964
X-F@1#def:trees, X-F@1#eq:trees, X-F@1#eq:all-tree
so that . The all-tree observable is
Displayed formulas in this passage
X-F@1#eq:trees · line 948
X-F@1#eq:all-tree · line 958