Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoLev_PSNo

proofgold address
TMJiu..^SNoLev_PSNo

creator
2357 PrGxv../c0f09..

owner
2357 PrGxv../c0f09..

term root
ab431..