Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . SNo x0SNoLt 0 x0recip_SNo_pos (recip_SNo_pos x0) = x0
as obj
-
as prop
a3c6c..recip_SNo_pos_invol
theory
HotG
stx
f61d0..
address
TMR7W..recip_SNo_pos_invol