Proofgold Proposition

∀ x0 x1 . ordinal x0 ⟶ ordinal x1 ⟶ x0 ⊆ x1 ⟶ SNoLe x0 x1

type
prop

theory
HotG

name
ordinal_Subq_SNoLe

proof
PUUwp..

Megalodon
ordinal_Subq_SNoLe

proofgold address
TMYJs..^{ordinal_Subq_SNoLe}

creator
4910 Pr6Pc../89eb7..

owner
4910 Pr6Pc../89eb7..

term root
7558b..