Proofgold Proposition

∀ x0 . SNo x0 ⟶ 28f8d.. x0 = x0

type
prop

theory
HotG

name
-

proof
PUN7o..

Megalodon
-

proofgold address
TMNnQ..

creator
28161 PrQUS../b3375..

owner
28161 PrQUS../b3375..

term root
8acfb..