Proofgold Proposition

∀ x0 . equip x0 x0

type
prop

theory
HotG

name
equip_ref

proof
PUPXD..

Megalodon
equip_ref

proofgold address
TMXsc..^equip_ref

creator
4945 Pr6Pc../4747d..

owner
4945 Pr6Pc../4747d..

term root
cc7e8..