Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . or (atleastp x1 x0) (atleastp (ordsucc x0) x1)

type
prop

theory
HotG

name
-

proof
PUXYp..

Megalodon
-

proofgold address
TMcPK..

creator
19014 Pr4zB../f3f79..

owner
19014 Pr4zB../f3f79..

term root
45d11..