Proofgold Proposition

∀ x0 . equip 0 x0 ⟶ x0 = 0

type
prop

theory
HotG

name
-

proof
PUXp3..

Megalodon
-

proofgold address
TMPCZ..

creator
14944 Pr4zB../d1925..

owner
14944 Pr4zB../d1925..

term root
b1ab5..