Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 . SNo x0SNo x1SNo x2SNo x3SNoLt (add_SNo x0 x1) (add_SNo x3 x2)SNoLt (add_SNo x0 (add_SNo x1 (minus_SNo x2))) x3
type
prop
theory
HotG
name
add_SNo_minus_Lt1b3
proof
PUYBq..
Megalodon
add_SNo_minus_Lt1b3
proofgold address
TMRrX..add_SNo_minus_Lt1b3
creator
5053 Pr6Pc../96cb5..
owner
5053 Pr6Pc../96cb5..
term root
218e4..