Proofgold Proposition

∀ x0 . SNo x0 ⟶ CSNo_Im x0 = 0

type
prop

theory
HotG

name
SNo_Im

proof
PUQvq..

Megalodon
SNo_Im

proofgold address
TML8G..^SNo_Im

creator
28444 PrQUS../10803..

owner
28444 PrQUS../10803..

term root
e827a..