Proofgold Object

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