Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0complex∀ x1 . x1complexmul_CSNo x0 x1complex
type
prop
theory
HotG
name
complex_mul_CSNo
proof
PUNr2..
Megalodon
complex_mul_CSNo
proofgold address
TMPS9..complex_mul_CSNo
creator
12547 PrGxv../6a1eb..
owner
12547 PrGxv../6a1eb..
term root
2bda8..