Proofgold Proposition

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

type
prop

theory
HotG

name
neq_ordsucc_0

proof
PUL8Q..

Megalodon
neq_ordsucc_0

proofgold address
TMG4G..^{neq_ordsucc_0}

creator
4882 Pr6Pc../de578..

owner
4882 Pr6Pc../de578..

term root
9b391..