Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . HSNo x0 ⟶ HSNo_proj0 (minus_HSNo x0) = minus_CSNo (HSNo_proj0 x0)
type
prop
theory
HotG
name
minus_HSNo_proj0
proof
PUgzA..
Megalodon
minus_HSNo_proj0
proofgold address
TMLXU..minus_HSNo_proj0
creator
28464 PrQUS../da724..
owner
28464 PrQUS../da724..
term root
0f68d..