Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . OSNo x0 ⟶ conj_OSNo (minus_OSNo x0) = minus_OSNo (conj_OSNo x0)
type
prop
theory
HotG
name
conj_minus_OSNo
proof
PUdK2..
Megalodon
conj_minus_OSNo
proofgold address
TMJZd..conj_minus_OSNo
creator
28513 PrQUS../54ffc..
owner
28513 PrQUS../54ffc..
term root
7ff95..