Proofgold Proposition

∀ x0 . x0 ⊆ ordsucc x0

type
prop

theory
HotG

name
ordsuccI1

proof
PUL8Q..

Megalodon
ordsuccI1

proofgold address
TMPyy..^ordsuccI1

creator
4882 Pr6Pc../a512b..

owner
4882 Pr6Pc../a512b..

term root
5a2f1..