Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . SNo_ x0 (PSNo x0 x1)

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNo_PSNo

proofgold address
TMZnQ..^SNo_PSNo

creator
2357 PrGxv../07b52..

owner
2357 PrGxv../07b52..

term root
4d43d..