Proofgold Proposition

∀ x0 . nat_p x0 ⟶ minus_SNo x0 ∈ int

type
prop

theory
HotG

name
nat_p_int_minus_SNo

proof
PULfh..

Megalodon
nat_p_int_minus_SNo

proofgold address
TMLiA..^{nat_p_int_minus_SNo}

creator
16612 PrGxv../2f83a..

owner
16612 PrGxv../2f83a..

term root
a989e..