Proofgold Object

λ x0 x1 . ∀ x2 : ο . (∀ x3 : ι → ι . bij x0 x1 x3 ⟶ x2) ⟶ x2

type
ι → ι → ο

theory
HotG

name
equip

definition
PUL8Q..

Megalodon
equip

proofgold address
TMLBE..^equip

creator
4882 Pr6Pc../82e24..

owner
4882 Pr6Pc../82e24..

term root
eb441..