Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo_ (SNoLev x0) x0

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoLev_

proofgold address
TMFf3..^SNoLev_

creator
2357 PrGxv../88ccf..

owner
2357 PrGxv../88ccf..

term root
1ca53..