Proofgold Proposition

∀ x0 . SNoL x0 ⊆ SNoS_ (SNoLev x0)

type
prop

theory
HotG

name
SNoL_SNoS_

proof
PUK1b..

Megalodon
SNoL_SNoS_

proofgold address
TMacy..^SNoL_SNoS_

creator
4949 Pr6Pc../7de41..

owner
4949 Pr6Pc../7de41..

term root
73f5b..