Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ omega ⟶ add_SNo x0 x1 ∈ omega

type
prop

theory
HotG

name
add_SNo_In_omega

proof
PUL9u..

Megalodon
add_SNo_In_omega

proofgold address
TMP48..^{add_SNo_In_omega}

creator
4970 Pr6Pc../31d3d..

owner
4970 Pr6Pc../31d3d..

term root
f45cb..