Search for blocks/addresses/...
Proofgold Term Root Disambiguation
CD_mul
(
Sing
2
)
SNo
minus_SNo
(
λ x0 .
x0
)
add_SNo
mul_SNo
as obj
46d4c..
mul_CSNo
as prop
-
theory
HotG
stx
5ed1a..
address
TMaEE..
mul_CSNo