Search for blocks/addresses/...

Proofgold Object

CD_mul (Sing 2) SNo minus_SNo (λ x0 . x0) add_SNo mul_SNo
type
ι → ι → ι
theory
HotG
name
mul_CSNo
definition
PUQvq..
Megalodon
mul_CSNo
proofgold address
TMbPY..mul_CSNo
creator
28444 PrQUS../e09e2..
owner
28444 PrQUS../e09e2..
term root
fbcd2..