Proofgold Proposition

∀ x0 x1 . equip x0 x1 ⟶ equip x1 x0

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
equip_sym

proofgold address
TMKxu..^equip_sym

creator
2277 PrGxv../53731..

owner
2277 PrGxv../53731..

term root
1b764..