Proofgold Object

λ x0 . a4c2a.. x0 (λ x1 . ∀ x2 : ο . (∀ x3 . f6917.. x3 = x1 ⟶ x2) ⟶ x2) 158d3..

type
ι → ι

theory
HoTg

name
-

definition
PUKG7..

Megalodon
-

proofgold address
TMP8Q..

creator
2750 PrGxv../2a6e0..

owner
2750 PrGxv../2a6e0..

term root
5656d..