Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ minus_SNo x0 ∈ int

type
prop

theory
HotG

name
int_minus_SNo_omega

proof
PUMdw..

Megalodon
int_minus_SNo_omega

proofgold address
TMJXh..^{int_minus_SNo_omega}

creator
12548 PrGxv../17aef..

owner
12548 PrGxv../17aef..

term root
86950..