Proofgold Proposition

∀ x0 . x0 ∈ 87ab7.. ⟶ ∀ x1 : ο . (x0 ∈ SNoS_ (ordsucc omega) ⟶ (SNoL_omega x0 = 0 ⟶ ∀ x2 : ο . x2) ⟶ (SNoR_omega x0 = 0 ⟶ ∀ x2 : ο . x2) ⟶ f8473.. (SNoL_omega x0) ⟶ f8473.. (SNoR_omega x0) ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
real_E

proofgold address
TMbuQ..^real_E

creator
5368 Pr6Pc../53f76..

owner
5368 Pr6Pc../53f76..

term root
44069..