Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . nat_p x0or (x0 = 0) (∀ x1 : ο . (∀ x2 . and (nat_p x2) (x0 = ordsucc x2)x1)x1)
as obj
-
as prop
c7246..nat_inv
theory
HF
stx
0d78c..
address
TMYQj..nat_inv