Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . nat_p x0minus_SNo x0int
as obj
-
as prop
fb051..nat_p_int_minus_SNo
theory
HotG
stx
6036f..
address
TMWVe..nat_p_int_minus_SNo