Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ο . (∀ x1 . x1omegax0 x1)(∀ x1 . x1omegax0 (minus_SNo x1))∀ x1 . x1int_alt1x0 x1
as obj
-
as prop
a3283..int_SNo_cases
theory
HotG
stx
b160a..
address
TMUEf..int_SNo_cases