Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . sqrt_SNo_nonneg (abs_sqr_CSNo x0)
as obj
30af8..modulus_CSNo
as prop
-
theory
HotG
stx
2ea7a..
address
TMUpS..modulus_CSNo