Proofgold Proposition

∀ x0 . ∀ x1 : (ι → ο) → ο . ∀ x2 : ι → ο . (∀ x3 . x2 x3 ⟶ prim1 x3 x0) ⟶ decode_c (e0e40.. x0 x1) x2 = x1 x2

type
prop

theory
HoTg

name
-

proof
PUTo6..

Megalodon
-

proofgold address
TMH89..

creator
2774 PrGxv../89dc0..

owner
2774 PrGxv../89dc0..

term root
886a0..