Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . SNo x0SNo x1SNo x2SNoLt x2 (add_SNo x0 (minus_SNo x1))SNoLt (add_SNo x2 x1) x0
type
prop
theory
HotG
name
add_SNo_minus_Lt2
proof
PUcff..
Megalodon
add_SNo_minus_Lt2
proofgold address
TMSsb..add_SNo_minus_Lt2
creator
4971 Pr6Pc../ad032..
owner
4971 Pr6Pc../ad032..
term root
76c54..