Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ο . (∀ x1 x2 . SNoCutP x1 x2(∀ x3 . x3x1x0 x3)(∀ x3 . x3x2x0 x3)x0 (SNoCut x1 x2))∀ x1 . SNo x1x0 x1
as obj
-
as prop
94cbe..SNo_ind
theory
HotG
stx
fab7c..
address
TMbQG..SNo_ind