Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLev x0 ⊆ SNoLev x1 ⟶ (∀ x2 . x2 ∈ SNoLev x0 ⟶ iff (x2 ∈ x0) (x2 ∈ x1)) ⟶ x0 ⊆ x1

type
prop

theory
HotG

name
SNo_Subq

proof
PUUwp..

Megalodon
SNo_Subq

proofgold address
TMVu9..^SNo_Subq

creator
4910 Pr6Pc../3837e..

owner
4910 Pr6Pc../3837e..

term root
a244d..