Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUfqq..

Megalodon
-

proofgold address
TMLFg..

creator
22391 PrBTh../837c3..

owner
22391 PrBTh../837c3..

term root
183ea..