Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0omegaminus_SNo x0int_alt1
as obj
-
as prop
1b4d5..int_minus_SNo_omega
theory
HotG
stx
b160a..
address
TMHaC..int_minus_SNo_omega