Proofgold Proposition

∀ x0 . 1eb0a.. x0 ⟶ SNo (8dd2c.. x0)

type
prop

theory
HotG

name
-

proof
PUY4m..

Megalodon
-

proofgold address
TMWbW..

creator
28250 PrQUS../d17fb..

owner
28250 PrQUS../d17fb..

term root
57b8e..