Proofgold Proposition

∀ x0 . x0 ∈ setminus omega 2 ⟶ ∀ x1 : ο . (∀ x2 . x2 ∈ omega ⟶ x0 = ordsucc (ordsucc x2) ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PUcPW..

Megalodon
-

proofgold address
TMGA8..

creator
8134 PrFVW../6cf18..

owner
8134 PrFVW../6cf18..

term root
9231c..