Proofgold Object

λ x0 x1 : ο . ∀ x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ x2

type
ο → ο → ο

theory
HotG

name
and

definition
PUQdE..

Megalodon
and

proofgold address
TMMEU..^and

creator
4882 Pr6Pc../abeae..

owner
4882 Pr6Pc../abeae..

term root
2ba7d..