Proofgold Object

λ x0 x1 . If_i (x1 = 0) 0 (prim0 (λ x2 . and (CSNo x2) (mul_CSNo x2 x1 = x0)))

type
ι → ι → ι

theory
HotG

name
div_CSNo

definition
PUi5E..

Megalodon
div_CSNo

proofgold address
TMTPD..^div_CSNo

creator
4962 Pr6Pc../d06ce..

owner
4962 Pr6Pc../d06ce..

term root
98e51..