Proofgold Proposition

∀ x0 . ordinal x0 ⟶ SNo_ x0 x0

type
prop

theory
HotG

name
ordinal_SNo_

proof
PUUwp..

Megalodon
ordinal_SNo_

proofgold address
TMbYC..^ordinal_SNo_

creator
4910 Pr6Pc../09b3a..

owner
4910 Pr6Pc../09b3a..

term root
4731f..