Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . SNo x0SNo x1SNo x2SNoLt x0 x2SNoLt (add_SNo x0 x1) (add_SNo x2 x1)
type
prop
theory
HotG
name
add_SNo_Lt1
proof
PUi5E..
Megalodon
add_SNo_Lt1
proofgold address
TMWTB..add_SNo_Lt1
creator
4962 Pr6Pc../a64cf..
owner
4962 Pr6Pc../a64cf..
term root
92232..