Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . OSNo x0 ⟶ and (HSNo (OSNo_proj1 x0)) (x0 = HSNo_pair (OSNo_proj0 x0) (OSNo_proj1 x0))
type
prop
theory
HotG
name
OSNo_proj1_1
proof
PUdK2..
Megalodon
OSNo_proj1_1
proofgold address
TMcNZ..OSNo_proj1_1
creator
28513 PrQUS../b43a6..
owner
28513 PrQUS../b43a6..
term root
8334f..