Search for blocks/addresses/...

Proofgold Proposition

6 = 3∀ x0 : ο . x0
type
prop
theory
HotG
name
neq_6_3
proof
PUUcH..
Megalodon
neq_6_3
proofgold address
TMdSx..neq_6_3
creator
4892 Pr6Pc../470d8..
owner
4892 Pr6Pc../470d8..
term root
03fcc..