Proofgold Proposition

∀ x0 . 0 = ordsucc x0 ⟶ ∀ x1 : ο . x1

type
prop

theory
HotG

name
neq_0_ordsucc

proof
PUL8Q..

Megalodon
neq_0_ordsucc

proofgold address
TMSZG..^{neq_0_ordsucc}

creator
4882 Pr6Pc../c90c2..

owner
4882 Pr6Pc../c90c2..

term root
1b20c..