Proofgold Object

λ x0 x1 . mul_CSNo x0 (recip_CSNo x1)

type
ι → ι → ι

theory
HotG

name
div_CSNo

definition
PUQvq..

Megalodon
div_CSNo

proofgold address
TMYqY..^div_CSNo

creator
28444 PrQUS../39c2f..

owner
28444 PrQUS../39c2f..

term root
3a99f..