Proofgold Object

λ x0 : ι → ι → ο . ∀ x1 . x0 x1 x1

type
(ι → ι → ο) → ο

theory
HotG

name
reflexive

definition
PUKtJ..

Megalodon
reflexive

proofgold address
TMUbR..^reflexive

creator
4890 Pr6Pc../964c3..

owner
4890 Pr6Pc../964c3..

term root
6a6de..