Proofgold Proposition

∀ x0 . equip x0 x0

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
equip_ref

proofgold address
TMNrn..^equip_ref

creator
2277 PrGxv../5a7a1..

owner
2277 PrGxv../5a7a1..

term root
779ba..