Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . OSNo x0 ⟶ OSNo_proj1 (minus_OSNo x0) = minus_HSNo (OSNo_proj1 x0)
type
prop
theory
HotG
name
minus_OSNo_proj1
proof
PUdK2..
Megalodon
minus_OSNo_proj1
proofgold address
TMXYF..minus_OSNo_proj1
creator
28513 PrQUS../9310d..
owner
28513 PrQUS../9310d..
term root
34ff5..