Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 . or (x0 x1 x2) (x1 = x2)

type
(ι → ι → ο) → ι → ι → ο

theory
HoTg

name
reflclos

definition
PUhdM..

Megalodon
-

proofgold address
TMWqM..

creator
2717 PrGxv../fbeed..

owner
2717 PrGxv../fbeed..

term root
71bff..