Proofgold Proposition

∀ x0 . equip x0 0 ⟶ x0 = 0

type
prop

theory
HotG

name
equip_0_Empty

proof
PUMXD..

Megalodon
equip_0_Empty

proofgold address
TMJgB..^{equip_0_Empty}

creator
12443 PrGxv../6f201..

owner
12443 PrGxv../6f201..

term root
83ab2..