Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . HSNo x0HSNo x1HSNo_proj0 x0 = HSNo_proj0 x1HSNo_proj1 x0 = HSNo_proj1 x1x0 = x1
type
prop
theory
HotG
name
HSNo_proj0proj1_split
proof
PUgzA..
Megalodon
HSNo_proj0proj1_split
proofgold address
TMd43..HSNo_proj0proj1_split
creator
28464 PrQUS../6d309..
owner
28464 PrQUS../6d309..
term root
878bb..