Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . SNo x0SNo x1(x1 = 0∀ x2 : ο . x2)mul_SNo (div_SNo x0 x1) x1 = x0
type
prop
theory
HotG
name
mul_div_SNo_invL
proof
PUSRj..
Megalodon
mul_div_SNo_invL
proofgold address
TMN8s..mul_div_SNo_invL
creator
27837 PrQUS../17cce..
owner
27837 PrQUS../17cce..
term root
2484b..