Proofgold Proposition

∀ x0 : ι → ι → ι . 236c6.. = prim1 (λ x2 . prim1 (x0 x2)) ⟶ ∀ x1 : ο . x1

type
prop

theory
HOAS

name
-

proof
PUf2B..

Megalodon
-

proofgold address
TMbJ2..

creator
1788 PrGxv../f0a98..

owner
1788 PrGxv../f0a98..

term root
72aa2..