Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . SNo_pair (add_SNo (CSNo_Re x0) (CSNo_Re x1)) (add_SNo (CSNo_Im x0) (CSNo_Im x1))
type
ιιι
theory
HotG
name
add_CSNo
definition
PUgeJ..
Megalodon
add_CSNo
proofgold address
TMaA7..add_CSNo
creator
4958 Pr6Pc../01e14..
owner
4958 Pr6Pc../01e14..
term root
30acc..