Search for blocks/addresses/...

Proofgold Object

λ x0 . If_i (SNoLt 0 x0) (recip_SNo_pos x0) (If_i (SNoLt x0 0) (minus_SNo (recip_SNo_pos (minus_SNo x0))) 0)
type
ι → ι
theory
HotG
name
recip_SNo
definition
PUewm..
Megalodon
recip_SNo
proofgold address
TMLXx..recip_SNo
creator
27779 PrQUS../6a366..
owner
27779 PrQUS../6a366..
term root
aa96a..