Nuprl Definition : inl def

inl ==  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