Proofgold Term Root Disambiguation

∀ x0 x1 . coprime_nat x0 x1 ⟶ 76fc5.. x0 x1

as obj
-

as prop
9ab3b..

theory
HotG

stx
d6a2f..

address
TMLZ1..