Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ ∀ x1 . x1 ∈ real ⟶ SNoLt x0 x1 ⟶ ∀ x2 : ο . (∀ x3 . and (x3 ∈ SNoS_ omega) (and (SNoLt x0 x3) (SNoLt x3 x1)) ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
real_Lt_SNoS_omega_inter

proof
PUeVh..

Megalodon
-

proofgold address
TMdw4..

creator
29749 PrQUS../ae528..

owner
29749 PrQUS../ae528..

term root
10f82..