Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ ∀ x1 . x1 ∈ omega ⟶ nat_pair x0 x1 ∈ omega

type
prop

theory
HotG

name
nat_pair_In_omega

proof
PUcxH..

Megalodon
nat_pair_In_omega

proofgold address
TMWgx..^{nat_pair_In_omega}

creator
29779 PrQUS../a0d61..

owner
29779 PrQUS../a0d61..

term root
6914a..