Proofgold Proposition

∀ x0 x1 x2 . x0 = x1 ⟶ x1 = x2 ⟶ x0 = x2

type
prop

theory
HoTg

name
eq_i_tra

proof
PUTG4..

Megalodon
-

proofgold address
TMK2D..

creator
3831 PrGxv../2ceed..

owner
3831 PrGxv../2ceed..

term root
193bb..