Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ ∀ x1 : ι → ι . not (surj x0 (Sep omega prime_nat) x1)

as obj
-

as prop
3a99b..

theory
HotG

stx
71eda..

address
TMKNs..