Proofgold Object

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

type
(ι → ι → ο) → ο

theory
HoTg

name
linear

definition
PUhdM..

Megalodon
-

proofgold address
TMJ9b..

creator
2717 PrGxv../78291..

owner
2717 PrGxv../78291..

term root
9db35..