Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . (∀ x2 . x2x0SNo x2)SNo_max_of (prim5 x0 minus_SNo) x1SNo_min_of x0 (minus_SNo x1)
type
prop
theory
HotG
name
minus_SNo_max_min'
proof
PUesu..
Megalodon
minus_SNo_max_min
proofgold address
TMUMk..minus_SNo_max_min
creator
12391 PrGxv../9b470..
owner
12391 PrGxv../9b470..
term root
54458..