Search for blocks/addresses/...

Proofgold Object

λ x0 . and (x0omega) (∃ x1 . and (x1omega) (∃ x3 . and (x3omega) (and (and (1x1) (1x3)) (mul_nat x1 x3 = x0))))
type
ιο
theory
HotG
name
composite_nat
definition
PUPh4..
Megalodon
composite_nat
proofgold address
TMSRq..composite_nat
creator
29757 PrQUS../4333a..
owner
29757 PrQUS../4333a..
term root
38d88..