Proofgold Proposition

∀ x0 . nat_p x0 ⟶ x0 ∈ int

type
prop

theory
HotG

name
nat_p_int

proof
PULfh..

Megalodon
nat_p_int

proofgold address
TMYq8..^nat_p_int

creator
16612 PrGxv../7c161..

owner
16612 PrGxv../7c161..

term root
2292e..