Search for blocks/addresses/...

Proofgold Object

λ x0 . ReplSep x0 (λ x1 . ∀ x2 : ο . (∀ x3 . Inj0 x3 = x1x2)x2) Unj
type
ιι
theory
HotG
name
proj0
definition
PUMB7..
Megalodon
proj0
proofgold address
TMaHY..proj0
creator
4898 Pr6Pc../19bcf..
owner
4898 Pr6Pc../19bcf..
term root
21a48..