Proofgold Object

λ x0 x1 . If_i (x1 = 0) 0 (prim0 (λ x2 . and (SNo x2) (mul_SNo x2 x1 = x0)))

type
ι → ι → ι

theory
HotG

name
div_SNo

definition
PUi5E..

Megalodon
div_SNo

proofgold address
TMXu1..^div_SNo

creator
4962 Pr6Pc../9ef40..

owner
4962 Pr6Pc../9ef40..

term root
16510..