Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 : ο . exactly1of3 x0 x1 x2not x0or x1 x2
type
prop
theory
HotG
name
exactly1of3_nimp1
proof
PUL8Q..
Megalodon
exactly1of3_nimp1
proofgold address
TMQ1J..exactly1of3_nimp1
creator
4882 Pr6Pc../02906..
owner
4882 Pr6Pc../02906..
term root
6f09b..