Révision 206 CSL17/completeness.tex

completeness.tex (revision 206)
1 
\section{Completeness}
1 
\section{Completeness}\label{sect:completeness}
2 2 

  		





  3
  3
  
    
The main result of this section is the following:


  		





  4
  4
  
    

  		












Formats disponibles :
  Unified diff