Proofgold Proposition

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

type
prop

theory
HotG

name
SNoLev_

proof
PUUwp..

Megalodon
SNoLev_

proofgold address
TMHMi..^SNoLev_

creator
4910 Pr6Pc../88767..

owner
4910 Pr6Pc../88767..

term root
4a103..