Proofgold Proposition

∀ x0 x1 x2 x3 . prim1 x3 (b5c9f.. (b5c9f.. x2 x1) x0) ⟶ ∀ x4 . prim1 x4 x0 ⟶ ∀ x5 . prim1 x5 x1 ⟶ prim1 (f482f.. (f482f.. x3 x4) x5) x2

type
prop

theory
HoTg

name
-

proof
PUK9b..

Megalodon
-

proofgold address
TML1f..

creator
3656 PrGxv../16e89..

owner
3656 PrGxv../16e89..

term root
a6de6..