Proofgold Proposition

∀ x0 . SNoR x0 ⊆ SNoS_ (SNoLev x0)

type
prop

theory
HotG

name
SNoR_SNoS_

proof
PUK1b..

Megalodon
SNoR_SNoS_

proofgold address
TMbbz..^SNoR_SNoS_

creator
4949 Pr6Pc../1a2a1..

owner
4949 Pr6Pc../1a2a1..

term root
16bdf..