Proofgold Object

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

type
(ι → ι → ο) → ο

theory
HoTg

name
trichotomous_or

definition
PUhdM..

Megalodon
-

proofgold address
TMUpS..

creator
2717 PrGxv../dddea..

owner
2717 PrGxv../dddea..

term root
cc2c1..