Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . λ x2 : ι → ι → ο . ∀ x3 . x3x1atleastp x0 x3not (∀ x4 . x4x3∀ x5 . x5x3(x4 = x5∀ x6 : ο . x6)x2 x4 x5)
as obj
cdfa5..
as prop
-
theory
HotG
stx
6aab1..
address
TMbDq..