Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ SNo x0

type
prop

theory
HotG

name
int_SNo

proof
PUMdw..

Megalodon
int_SNo

proofgold address
TMJzr..^int_SNo

creator
12548 PrGxv../8eecf..

owner
12548 PrGxv../8eecf..

term root
19fdd..