Nuprl Definition : inl def
inl x == PRIMITIVE
Rules referencing :
inlFormation,
inlEquality,
unionElimination,
decideEquality,
applyInl,
isinlCases,
orFunctionality
Latex:
inl x == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_50
Last ObjectModification:
2006_01_26-PM-03_54_15
Theory : core_1
Home
Index