Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 : ο . exactly1of3 x0 x1 x2x1not x0
type
prop
theory
HotG
name
exactly1of3_impn21
proof
PUL8Q..
Megalodon
exactly1of3_impn21
proofgold address
TMRit..exactly1of3_impn21
creator
4882 Pr6Pc../61884..
owner
4882 Pr6Pc../61884..
term root
1d346..