Proofgold Object

λ x0 . ∀ x1 : ο . (∀ x2 . and (x2 ∈ omega) (equip x0 x2) ⟶ x1) ⟶ x1

type
ι → ο

theory
HotG

name
finite

definition
PUL8Q..

Megalodon
finite

proofgold address
TMFKG..^finite

creator
4882 Pr6Pc../45604..

owner
4882 Pr6Pc../45604..

term root
04632..