Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . nat_p x0∀ x1 . nat_p x1nat_p (exp_nat x0 x1)
as obj
-
as prop
4f402..exp_nat_p
theory
HotG
stx
c1b88..
address
TMKU2..exp_nat_p