Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ minus_SNo x0 ∈ int

type
prop

theory
HotG

name
int_minus_SNo

proof
PUMdw..

Megalodon
int_minus_SNo

proofgold address
TMbTE..^{int_minus_SNo}

creator
12548 PrGxv../b600b..

owner
12548 PrGxv../b600b..

term root
00e71..