Proofgold Proposition

∀ x0 . x0 ∈ ordsucc x0

type
prop

theory
HotG

name
ordsuccI2

proof
PUL8Q..

Megalodon
ordsuccI2

proofgold address
TMMZ4..^ordsuccI2

creator
4882 Pr6Pc../2f250..

owner
4882 Pr6Pc../2f250..

term root
2f6ef..