Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . SNo x0SNo x1∀ x2 . x2SNoR (mul_SNo x0 x1)or (∃ x3 . and (x3SNoL x0) (∃ x5 . and (x5SNoR x1) (SNoLe (add_SNo (mul_SNo x3 x1) (mul_SNo x0 x5)) (add_SNo x2 (mul_SNo x3 x5))))) (∃ x3 . and (x3SNoR x0) (∃ x5 . and (x5SNoL x1) (SNoLe (add_SNo (mul_SNo x3 x1) (mul_SNo x0 x5)) (add_SNo x2 (mul_SNo x3 x5)))))
type
prop
theory
HotG
name
mul_SNo_SNoR_interpolate
proof
PUYBq..
Megalodon
mul_SNo_SNoR_interpolate
proofgold address
TMUGZ..mul_SNo_SNoR_interpolate
creator
5053 Pr6Pc../eafa2..
owner
5053 Pr6Pc../eafa2..
term root
e1594..