Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . nat_p x1nIn (ordsucc (96eca.. x0 x1)) x096eca.. x0 (ordsucc x1) = 0
as obj
-
as prop
b82e6..
theory
HotG
stx
33c6f..
address
TMTgv..