Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . nat_p x1 ⟶ add_SNo (minus_SNo x0) x1 ∈ int

type
prop

theory
HotG

name
int_add_SNo_lem

proof
PUMdw..

Megalodon
int_add_SNo_lem

proofgold address
TMWod..^{int_add_SNo_lem}

creator
12548 PrGxv../fc4c1..

owner
12548 PrGxv../fc4c1..

term root
8f004..