Proofgold Proposition

∀ x0 . ordinal x0 ⟶ SNoR x0 = 0

type
prop

theory
HotG

name
ordinal_SNoR

proof
PUK1b..

Megalodon
ordinal_SNoR

proofgold address
TMRXL..^ordinal_SNoR

creator
4949 Pr6Pc../0fd67..

owner
4949 Pr6Pc../0fd67..

term root
07c69..