Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ omega ⟶ x0 ∈ 87ab7..

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
Subq_SNoS_omega_real

proofgold address
TMYg3..^{Subq_SNoS_omega_real}

creator
5368 Pr6Pc../3855f..

owner
5368 Pr6Pc../3855f..

term root
db928..