Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . x1 ∈ ordsucc x0 ⟶ or (x1 = 0) (∀ x2 : ο . (∀ x3 . and (x3 ∈ x0) (x1 = ordsucc x3) ⟶ x2) ⟶ x2)

type
prop

theory
HotG

name
-

proof
PURwL..

Megalodon
-

proofgold address
TMVrE..

creator
31247 Pr4zB../b1724..

owner
31247 Pr4zB../b1724..

term root
e0106..