Search for blocks/addresses/...

Proofgold Proposition

9 = 6∀ x0 : ο . x0
type
prop
theory
HotG
name
neq_9_6
proof
PUUcH..
Megalodon
neq_9_6
proofgold address
TMbZ1..neq_9_6
creator
4892 Pr6Pc../6fd8d..
owner
4892 Pr6Pc../6fd8d..
term root
b0286..