Proofgold Object

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

type
ι → ι → ο

theory
HotG

name
atleastp

definition
PUL8Q..

Megalodon
atleastp

proofgold address
TMVUL..^atleastp

creator
4882 Pr6Pc../6b722..

owner
4882 Pr6Pc../6b722..

term root
9bb9c..