Proofgold Proposition

∀ x0 . ordinal x0 ⟶ 0 ∈ ordsucc x0

type
prop

theory
HotG

name
ordinal_0_In_ordsucc

proof
PUVXT..

Megalodon
ordinal_0_In_ordsucc

proofgold address
TMLA2..^{ordinal_0_In_ordsucc}

creator
29757 PrQUS../36f0f..

owner
29757 PrQUS../36f0f..

term root
62fdc..