Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLt x0 0 ⟶ recip_SNo x0 = minus_SNo (recip_SNo_pos (minus_SNo x0))
type
prop
theory
HotG
name
recip_SNo_negcase
proof
PUSRj..
Megalodon
recip_SNo_negcase
proofgold address
TMVZ6..recip_SNo_negcase
creator
27837 PrQUS../29f5b..
owner
27837 PrQUS../29f5b..
term root
c9618..