Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . SNo x0SNoLe 0 x0SNoLe 0 (sqrt_SNo_nonneg x0)
as obj
-
as prop
6c1cd..sqrt_SNo_nonneg_nonneg
theory
HotG
stx
8fb89..
address
TMd1v..sqrt_SNo_nonneg_nonneg