Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 : ο . (∀ x2 . ordinal x2 ⟶ SNo_ x2 x0 ⟶ x1) ⟶ x1

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNo_E

proofgold address
TMYHR..^SNo_E

creator
2357 PrGxv../56d8c..

owner
2357 PrGxv../56d8c..

term root
c48a2..