Proofgold Proposition

∀ x0 : ι → ο . x0 0 ⟶ (∀ x1 . x1 ∈ omega ⟶ x0 x1 ⟶ x0 (ordsucc x1)) ⟶ ∀ x1 . x1 ∈ omega ⟶ x0 x1

type
prop

theory
HotG

name
-

proof
PUZC8..

Megalodon
-

proofgold address
TMPeT..

creator
6992 Pr6Pc../8cc11..

owner
6992 Pr6Pc../8cc11..

term root
3e0b8..