Proofgold Object

λ x0 x1 . mul_CSNo x0 (cbf48.. x1)

type
ι → ι → ι

theory
HotG

name
-

definition
PUfaM..

Megalodon
-

proofgold address
TMGUL..

creator
27960 PrQUS../ec561..

owner
27960 PrQUS../ec561..

term root
7bb59..