Proofgold Object

λ x0 . ReplSep x0 (λ x1 . ∃ x2 . Inj1 x2 = x1) Unj

type
ι → ι

theory
HotG

name
proj1

definition
PUMB7..

Megalodon
proj1

proofgold address
TMPJv..^proj1

creator
4898 Pr6Pc../4a6c7..

owner
4898 Pr6Pc../4a6c7..

term root
7aba2..