Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . ∀ x1 x2 . or (or (x0 x1 x2) (x1 = x2)) (x0 x2 x1)
as obj
29c36..
as prop
-
theory
HoTg
stx
75b72..
address
TMWfJ..trichotomous_or