Proofgold Proposition

∀ x0 . x0 ∈ 87ab7.. ⟶ ∃ x1 . and (x1 ∈ SNoS_ omega) (SNoLt x0 x1)

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
real_ex_diad_Gt

proofgold address
TMVen..^{real_ex_diad_Gt}

creator
5368 Pr6Pc../b28ab..

owner
5368 Pr6Pc../b28ab..

term root
edbff..