Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
CSNo
x0
⟶
CSNo
x1
⟶
mul_CSNo
x0
x1
=
mul_CSNo
x1
x0
type
prop
theory
HotG
name
-
proof
PUNr2..
Megalodon
mul_CSNo_com
proofgold address
TML36..
mul_CSNo_com
creator
12547
PrGxv..
/
2b431..
owner
12547
PrGxv..
/
2b431..
term root
4be05..