Proofgold Object

λ x0 : ι → ι → ο . ∀ x1 x2 x3 . x0 x1 x2 ⟶ x0 x1 x3 ⟶ x2 = x3

type
(ι → ι → ο) → ο

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMG4j..

creator
1880 PrGxv../f210b..

owner
1880 PrGxv../f210b..

term root
5ca39..