Proofgold Term Root Disambiguation

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLe (abs_SNo (add_SNo x0 x1)) (add_SNo (abs_SNo x0) (abs_SNo x1))

as obj
-

as prop
db035..^SNo_triangle

theory
HotG

stx
26642..

address
TMNCq..^SNo_triangle