Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ 87ab7.. ⟶ x0 = SNoCut (SNoL_omega x0) (SNoR_omega x0)

as obj
-

as prop
11dba..^{real_SNoL_SNoR_omega}

theory
HotG

stx
705e2..

address
TMKK4..^{real_SNoL_SNoR_omega}