Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0omegaminus_SNo x0int
as obj
-
as prop
3a259..int_minus_SNo_omega
theory
HotG
stx
7d348..
address
TMJkS..int_minus_SNo_omega