Nuprl Definition : multiply
n * m == PRIMITIVE
Rules referencing :
multiplyCommutative,
multiplyOne,
multiplyAssociative,
multiplyDistributive,
multiplyPositive,
multiplyEquality,
divideRemainderSum,
callbyvalueMultiply,
exceptionMultiply,
multiplyExceptionCases
Latex:
n * m == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_47
Last ObjectModification:
2015_07_24-PM-03_20_27
Theory : core_1
Home
Index