Proofgold Proposition

∀ x0 x1 . equip x0 x1 ⟶ equip x1 x0

type
prop

theory
HotG

name
equip_sym

proof
PUPXD..

Megalodon
equip_sym

proofgold address
TMP5V..^equip_sym

creator
4945 Pr6Pc../2c101..

owner
4945 Pr6Pc../2c101..

term root
f2895..