Proofgold Object

λ x0 . ReplSep x0 (λ x1 . ∀ x2 : ο . (∀ x3 . Inj1 x3 = x1 ⟶ x2) ⟶ x2) 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..