Proofgold Proposition

∀ x0 . SNo x0 ⟶ minus_SNo x0 = b1848.. x0

type
prop

theory
HotG

name
-

proof
PUN7o..

Megalodon
-

proofgold address
TMcpG..

creator
28161 PrQUS../df59c..

owner
28161 PrQUS../df59c..

term root
4cee5..