Proofgold Object

λ x0 x1 . ad280.. (add_SNo (mul_SNo (28f8d.. x0) (28f8d.. x1)) (minus_SNo (mul_SNo (d634d.. x0) (d634d.. x1)))) (add_SNo (mul_SNo (28f8d.. x0) (d634d.. x1)) (mul_SNo (d634d.. x0) (28f8d.. x1)))

type
ι → ι → ι

theory
HotG

name
-

definition
PUN7o..

Megalodon
-

proofgold address
TMQoo..

creator
28161 PrQUS../76c7f..

owner
28161 PrQUS../76c7f..

term root
28622..