Search for blocks/addresses/...
Proofgold Term Root Disambiguation
CD_exp_nat
(
Sing
2
)
SNo
minus_SNo
(
λ x0 .
x0
)
add_SNo
mul_SNo
as obj
dce27..
exp_CSNo_nat
as prop
-
theory
HotG
stx
5ed1a..
address
TMG5k..
exp_CSNo_nat