Nuprl Definition : inr def
inr x == PRIMITIVE
Rules referencing :
inrFormation,
inrEquality,
unionElimination,
decideEquality,
applyInr,
isinrCases,
orFunctionality
Latex:
inr x == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_51
Last ObjectModification:
2006_01_26-PM-03_54_16
Theory : core_1
Home
Index