Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . HSNo x0 ⟶ HSNo_proj1 (minus_HSNo x0) = minus_CSNo (HSNo_proj1 x0)
type
prop
theory
HotG
name
minus_HSNo_proj1
proof
PUgzA..
Megalodon
minus_HSNo_proj1
proofgold address
TMcvQ..minus_HSNo_proj1
creator
28464 PrQUS../320b5..
owner
28464 PrQUS../320b5..
term root
26353..