Proofgold Proposition

∀ x0 x1 x2 . Subq x0 x1 ⟶ Subq x1 x2 ⟶ Subq x0 x2

type
prop

theory
HoTg

name
Subq_tra

proof
PUUEj..

Megalodon
-

proofgold address
TMPjQ..

creator
2699 PrGxv../459f4..

owner
2699 PrGxv../459f4..

term root
79acc..