Proofgold Object

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

type
(ι → ι → ο) → ο

theory
HotG

name
trichotomous_or

definition
PUKtJ..

Megalodon
trichotomous_or

proofgold address
TMShC..^{trichotomous_or}

creator
4890 Pr6Pc../8a131..

owner
4890 Pr6Pc../8a131..

term root
cc2c1..