Nuprl Definition : and
P ∧ Q == P × Q
Definitions occuring in Statement :
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x]
Rules referencing :
remainderBounds1,
remainderBounds2,
remainderBounds3,
remainderBounds4,
StrongContinuity2,
callbyvalueAdd,
callbyvalueMultiply,
callbyvalueDivide,
callbyvalueRemainder,
callbyvalueLess,
callbyvalueIntEq,
callbyvalueAtomEq,
callbyvalueAtomnEq,
andLevelFunctionality
Latex:
P \mwedge{} Q == P \mtimes{} Q
Date html generated:
2016_05_13-PM-03_04_11
Last ObjectModification:
2015_09_22-PM-01_26_55
Theory : core_1
Home
Index