Nuprl Definition : tagged+
T |+ z:B == T ⋂ z:B
Definitions occuring in Statement :
tag-case: z:T,
isect2: T1 ⋂ T2
Definitions occuring in definition :
isect2: T1 ⋂ T2,
tag-case: z:T
FDL editor aliases :
tagged+
Latex:
T |+ z:B == T \mcap{} z:B
Date html generated:
2016_05_15-PM-06_45_47
Last ObjectModification:
2015_09_23-AM-08_05_52
Theory : general
Home
Index