Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ mul_nat 2 x0 ⊆ x0 ⟶ x0 = 0

as obj
-

as prop
3fc05..^{double_nat_Subq_0}

theory
HotG

stx
7fa67..

address
TMWMS..^{double_nat_Subq_0}