Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ x0 ⊆ x1 ⟶ SNoS_ x0 ⊆ SNoS_ x1

type
prop

theory
HotG

name
SNoS_Subq

proof
PUUwp..

Megalodon
SNoS_Subq

proofgold address
TMcJg..^SNoS_Subq

creator
4910 Pr6Pc../7e73b..

owner
4910 Pr6Pc../7e73b..

term root
6828e..