Proofgold Proposition

∀ x0 . SNo x0 ⟶ CSNo_Im x0 = 0

type
prop

theory
HotG

name
SNo_Im

proof
PUi5E..

Megalodon
SNo_Im

proofgold address
TMGyh..^SNo_Im

creator
4962 Pr6Pc../21932..

owner
4962 Pr6Pc../21932..

term root
79fa3..