Search for blocks/addresses/...

Proofgold Object

CD_mul (Sing 4) HSNo minus_HSNo conj_HSNo add_HSNo mul_HSNo
type
ι → ι → ι
theory
HotG
name
mul_OSNo
definition
PUdK2..
Megalodon
mul_OSNo
proofgold address
TMaiQ..mul_OSNo
creator
28513 PrQUS../6493b..
owner
28513 PrQUS../6493b..
term root
a82d6..