Proofgold Proposition

∀ x0 x1 x2 : ο . (x0 ⟶ x1) ⟶ (x1 ⟶ x2) ⟶ x0 ⟶ x2

type
prop

theory
SetMM

name
ax_luk1

proof
PUXUn..

Megalodon
-

proofgold address
TMTji..

creator
36376 PrCmT../9833e..

owner
36376 PrCmT../9833e..

term root
1f042..