Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . (∀ x2 . x2x0SNo x2)SNo_min_of x0 x1SNo_max_of (prim5 x0 minus_SNo) (minus_SNo x1)
type
prop
theory
HotG
name
minus_SNo_min_max
proof
PUesu..
Megalodon
minus_SNo_min_max
proofgold address
TMVur..minus_SNo_min_max
creator
12391 PrGxv../cd88b..
owner
12391 PrGxv../cd88b..
term root
d435c..