Proofgold Object

λ x0 x1 . x0 ∈ u22 ⟶ x1 ∈ u22 ⟶ 94591.. (e7a80.. x0) (e7a80.. x1) = λ x3 x4 . x3

type
ι → ι → ο

theory
HotG

name
-

definition
PURwL..

Megalodon
-

proofgold address
TMQMJ..

creator
31247 Pr4zB../61d7e..

owner
31247 Pr4zB../61d7e..

term root
7c032..