Search for blocks/addresses/...

Proofgold Proposition

9 = 3∀ x0 : ο . x0
type
prop
theory
HotG
name
neq_9_3
proof
PUUcH..
Megalodon
neq_9_3
proofgold address
TML3N..neq_9_3
creator
4892 Pr6Pc../a2b13..
owner
4892 Pr6Pc../a2b13..
term root
c17c1..