cdvpair(fst;snd) == inr (inl <fst, snd> )
Definitions :
inr: inr x ,
inl: inl x ,
pair: <a, b>
FDL editor aliases :
cdvpair
cdvpair(fst;snd) == inr (inl <fst, snd> )
Date html generated:
2010_08_27-PM-08_07_50
Last ObjectModification:
2010_06_18-PM-04_20_56
Home
Index