Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUVtn..

Megalodon
int_add_SNo_lem

proofgold address
TMPwH..^{int_add_SNo_lem}

creator
5161 Pr6Pc../7882f..

owner
5161 Pr6Pc../7882f..

term root
6c976..