Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . x1prim4 (ordsucc x0)(∀ x2 . x2x1∀ x3 . x3x1(x2 = x3∀ x4 : ο . x4)∀ x4 : ο . (∀ x5 . and (x5ordsucc x0) (x5x2 = x5x3)x4)x4)atleastp x1 (prim4 x0)
as obj
-
as prop
dfb49..
theory
HotG
stx
84d03..
address
TMGMd..