Proofgold Object

λ x0 : ι → ο . Eps_i (λ x1 . 1ce4f.. x1 = x0)

type
(ι → ο) → ι

theory
HF

name
-

definition
PUKiR..

Megalodon
down_1_0

proofgold address
TMN47..^down_1_0

creator
1627 PrGxv../1d433..

owner
1627 PrGxv../1d433..

term root
ea151..