Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . not (surj x0 (prim4 x0) x1)

as obj
-

as prop
feecd..^{form100_63_surjCantor}

theory
HotG

stx
adca1..

address
TMZVT..^{form100_63_surjCantor}