Proofgold Proposition

∀ x0 x1 x2 . equip x0 x1 ⟶ equip x1 x2 ⟶ equip x0 x2

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
equip_tra

proofgold address
TMWLA..^equip_tra

creator
2277 PrGxv../c472d..

owner
2277 PrGxv../c472d..

term root
01b7f..