Proofgold Term Root Disambiguation

∀ x0 x1 x2 . divides_nat x0 x1 ⟶ divides_nat x1 x2 ⟶ divides_nat x0 x2

as obj
-

as prop
e4e38..^{divides_nat_tra}

theory
HotG

stx
71eda..

address
TMd2w..^{divides_nat_tra}