Nuprl Definition : dep-isect
x:A ⋂ B[x] == PRIMITIVE
Rules referencing :
dependentIntersectionEquality,
dependentIntersectionElimination,
dependentIntersectionEqElimination,
dependentIntersection_memberEquality
FDL editor aliases :
dep-isect
Latex:
x:A \mcap{} B[x] == PRIMITIVE
Date html generated:
2018_07_25-PM-01_30_13
Last ObjectModification:
2018_06_09-PM-09_18_09
Theory : dependent!intersection
Home
Index