Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 . SNo_ x0 x1 ⟶ SNo x1

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNo_I

proofgold address
TMbFD..^SNo_I

creator
2357 PrGxv../2162d..

owner
2357 PrGxv../2162d..

term root
0d44e..