Proofgold Proposition

∀ x0 x1 x2 . prim1 x0 x1 ⟶ prim1 x1 x2 ⟶ nIn x2 x0

type
prop

theory
HoTg

name
-

proof
PULk4..

Megalodon
-

proofgold address
TMdsN..

creator
2719 PrGxv../7a12e..

owner
2719 PrGxv../7a12e..

term root
410dc..