(left | right) == inr inr inr (inl <left, right> )
Definitions :
inr: inr x ,
inl: inl x ,
pair: <a, b>
FDL editor aliases :
pipar
(left | right) == inr inr inr (inl <left, right> )
Date html generated:
2010_08_27-PM-08_37_07
Last ObjectModification:
2010_02_11-PM-06_48_11
Home
Index