Proofgold Object

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

type
ι → ι → ι

theory
HotG

name
binintersect

definition
PUL8Q..

Megalodon
binintersect

proofgold address
TMTxt..^binintersect

creator
4882 Pr6Pc../6ef42..

owner
4882 Pr6Pc../6ef42..

term root
b2abd..