Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ minus_SNo x0 ∈ int_alt1

type
prop

theory
HotG

name
-

proof
PUVtn..

Megalodon
int_minus_SNo_omega

proofgold address
TMYLK..^{int_minus_SNo_omega}

creator
5161 Pr6Pc../a5616..

owner
5161 Pr6Pc../a5616..

term root
a66fb..