Proofgold Proposition

∀ x0 . not (ordsucc x0 = 0)

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
neq_ordsucc_0

proofgold address
TMNJS..^{neq_ordsucc_0}

creator
1473 PrGxv../e0255..

owner
1473 PrGxv../e0255..

term root
bc5c0..