Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x087ab7..∀ x1 : ο . (∀ x2 . and (x2SNoS_ omega) (SNoLt x2 x0)x1)x1
as obj
-
as prop
95fe1..real_ex_diad_Lt
theory
HotG
stx
705e2..
address
TMRmE..real_ex_diad_Lt