Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0real∀ x1 . x1realSNoLt x0 x1∀ x2 : ο . (∀ x3 . and (x3SNoS_ omega) (and (SNoLt x0 x3) (SNoLt x3 x1))x2)x2
as obj
-
as prop
ced79..
theory
HotG
stx
aa676..
address
TMbcx..