Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ SNo_ x0 x1 ⟶ x1 = PSNo x0 (λ x3 . In x3 x1)

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNo_PSNo_eta_

proofgold address
TMZo9..^{SNo_PSNo_eta_}

creator
2357 PrGxv../9c66c..

owner
2357 PrGxv../9c66c..

term root
bd34b..