Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0real∀ x1 . x1realSNoCutP x0 x1(x0 = 0∀ x2 : ο . x2)(x1 = 0∀ x2 : ο . x2)(∀ x2 . x2x0∀ x3 : ο . (∀ x4 . and (x4x0) (SNoLt x2 x4)x3)x3)(∀ x2 . x2x1∀ x3 : ο . (∀ x4 . and (x4x1) (SNoLt x4 x2)x3)x3)SNoCut x0 x1real
as obj
-
as prop
463b8..real_SNoCut
theory
HotG
stx
c407a..
address
TMZZh..real_SNoCut