Proofgold Term Root Disambiguation

∀ x0 x1 . HSNo x0 ⟶ HSNo x1 ⟶ add_HSNo x0 x1 = add_HSNo x1 x0

as obj
-

as prop
a9174..^add_HSNo_com

theory
HotG

stx
43801..

address
TMJbU..^add_HSNo_com