Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 . x1 ∈ x0 ⟶ SNoLt x1 x0

type
prop

theory
HotG

name
ordinal_In_SNoLt

proof
PUUwp..

Megalodon
ordinal_In_SNoLt

proofgold address
TMX6t..^{ordinal_In_SNoLt}

creator
4910 Pr6Pc../828e1..

owner
4910 Pr6Pc../828e1..

term root
e37d0..