Nuprl Definition : union def
left + right == PRIMITIVE
Rules referencing :
unionEquality,
inlFormation,
inrFormation,
inlEquality,
inrEquality,
unionElimination,
decideEquality,
equalityEqualityBase,
callbyvalueDecide,
decideExceptionCases
Latex:
left + right == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_49
Last ObjectModification:
2006_01_26-PM-03_54_14
Theory : core_1
Home
Index