Proofgold Proposition

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

type
prop

theory
HotG

name
equip_tra

proof
PUPXD..

Megalodon
equip_tra

proofgold address
TMMPN..^equip_tra

creator
4945 Pr6Pc../8385b..

owner
4945 Pr6Pc../8385b..

term root
322bf..