Proofgold Term Root Disambiguation

∀ x0 x1 x2 . divides_int x0 x1 ⟶ divides_int x0 x2 ⟶ divides_int x0 (add_SNo x1 x2)

as obj
-

as prop
8cb5d..^{divides_int_add_SNo}

theory
HotG

stx
dc832..

address
TMHZf..^{divides_int_add_SNo}