Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ omega ⟶ minus_SNo x0 ∈ SNoS_ omega

type
prop

theory
HotG

name
minus_SNo_SNoS_omega

proof
PUVu4..

Megalodon
minus_SNo_SNoS_omega

proofgold address
TMV7G..^{minus_SNo_SNoS_omega}

creator
5368 Pr6Pc../28562..

owner
5368 Pr6Pc../28562..

term root
daeba..