Search for blocks/addresses/...
Proofgold Term Root Disambiguation
λ x0 x1 .
mul_SNo
(
exp_SNo_nat
2
x0
)
(
add_SNo
(
mul_SNo
2
x1
)
1
)
as obj
89fb5..
nat_pair
as prop
-
theory
HotG
stx
8dd0d..
address
TMVWB..
nat_pair