Proofgold Object

λ x0 x1 . {x2 ∈ x0|nIn x2 x1}

type
ι → ι → ι

theory
HotG

name
setminus

definition
PUL8Q..

Megalodon
setminus

proofgold address
TMNff..^setminus

creator
4882 Pr6Pc../ab23a..

owner
4882 Pr6Pc../ab23a..

term root
c68e5..