Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . OSNo x0 ⟶ OSNo x1 ⟶ OSNo_proj0 (add_OSNo x0 x1) = add_HSNo (OSNo_proj0 x0) (OSNo_proj0 x1)
type
prop
theory
HotG
name
add_OSNo_proj0
proof
PUdK2..
Megalodon
add_OSNo_proj0
proofgold address
TMbUN..add_OSNo_proj0
creator
28513 PrQUS../37e66..
owner
28513 PrQUS../37e66..
term root
2a726..