Proofgold Object

λ x0 x1 . mul_SNo x0 (recip_SNo x1)

type
ι → ι → ι

theory
HotG

name
div_SNo

definition
PUewm..

Megalodon
div_SNo

proofgold address
TMcTq..^div_SNo

creator
27779 PrQUS../ec5b5..

owner
27779 PrQUS../ec5b5..

term root
a77cc..