Proofgold Object

λ x0 . ∀ x1 . nIn x1 x0

type
ι → ο

theory
HoTg

name
empty_p

definition
PUanJ..

Megalodon
-

proofgold address
TMY8G..

creator
2190 PrGxv../801dc..

owner
2190 PrGxv../801dc..

term root
5adfc..