Proofgold Object

λ x0 . ∀ x1 : ι → ο . x1 4a7ef.. ⟶ (∀ x2 . x1 x2 ⟶ x1 (4ae4a.. x2)) ⟶ x1 x0

type
ι → ο

theory
HoTg

name
-

definition
PUUEj..

Megalodon
-

proofgold address
TMSao..

creator
2699 PrGxv../0540a..

owner
2699 PrGxv../0540a..

term root
c4281..