Proofgold Object

λ x0 x1 . not (x0 ∈ x1)

type
ι → ι → ο

theory
HotG

name
nIn

definition
PUL8Q..

Megalodon
nIn

proofgold address
TMReN..^nIn

creator
4882 Pr6Pc../479c5..

owner
4882 Pr6Pc../479c5..

term root
36808..