Proofgold Proposition

∀ x0 . x0 ∈ int_alt1 ⟶ ∀ x1 . x1 ∈ int_alt1 ⟶ add_SNo x0 x1 ∈ int_alt1

type
prop

theory
HotG

name
-

proof
PUVtn..

Megalodon
int_add_SNo

proofgold address
TMag1..^int_add_SNo

creator
5161 Pr6Pc../d36ed..

owner
5161 Pr6Pc../d36ed..

term root
02609..