Proofgold Object

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

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

theory
HotG

name
reflclos

definition
PUKtJ..

Megalodon
reflclos

proofgold address
TMUaC..^reflclos

creator
4890 Pr6Pc../8ce8d..

owner
4890 Pr6Pc../8ce8d..

term root
71bff..