Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ divides_nat x0 x0

as obj
-

as prop
91381..^{divides_nat_ref}

theory
HotG

stx
cd4cc..

address
TMPYW..^{divides_nat_ref}