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:
2016_05_15-PM-02_07_01
Last ObjectModification:
2009_12_24-PM-04_01_57
Theory : dependent!intersection
Home
Index