Proofgold Object

λ x0 . ReplSep x0 (λ x1 . ∃ x2 . Inj0 x2 = x1) 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..