Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . OSNo x0 ⟶ OSNo_proj0 (conj_OSNo x0) = conj_HSNo (OSNo_proj0 x0)
type
prop
theory
HotG
name
conj_OSNo_proj0
proof
PUdK2..
Megalodon
conj_OSNo_proj0
proofgold address
TMQnK..conj_OSNo_proj0
creator
28513 PrQUS../55f24..
owner
28513 PrQUS../55f24..
term root
9f0c9..