Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . HSNo x0 ⟶ and (CSNo (HSNo_proj1 x0)) (x0 = CSNo_pair (HSNo_proj0 x0) (HSNo_proj1 x0))
type
prop
theory
HotG
name
HSNo_proj1_1
proof
PUgzA..
Megalodon
HSNo_proj1_1
proofgold address
TMJE3..HSNo_proj1_1
creator
28464 PrQUS../79eaa..
owner
28464 PrQUS../79eaa..
term root
d6506..