| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [Spec] Ajout d'une conséquence immédiate de résultats antérieurs. | David A. Madore | 2012-09-06 | 1 | -0/+12 |
| * | [Spec] suppression tabulations | Fabrice (Darwin) | 2012-02-08 | 1 | -23/+26 |
| * | [Spec, Alg] End_k(k^X) ⥲ End_Ens(X) déplacé vers [Alg] avec nouvelle dém... | Fabrice (Darwin) | 2011-02-16 | 1 | -146/+140 |
| * | [Spec] clarification sur ∨ et idéaux | Fabrice (Polytechnique) | 2011-02-10 | 1 | -1/+2 |
| * | [Alg,Spec,formes] π₀ (suite) | Fabrice (Darwin) | 2011-02-09 | 1 | -30/+84 |
| * | [Spec] oubli : Spec(∏)=∐Spec | Fabrice (Darwin) | 2011-02-02 | 1 | -24/+35 |
| * | [Spec, Alg] artinien=produit fini de connexes ; cas particulier k-algèbres ... | Fabrice (Darwin) | 2011-02-02 | 1 | -12/+97 |
| * | [Spec] π₀(artinien)=fini | Fabrice (Darwin) | 2011-01-31 | 1 | -0/+16 |
| * | [Spec] calculs de Hom (réduction au cas connexe) ; points d'un produit | Fabrice (Darwin) | 2011-01-31 | 1 | -44/+63 |
| * | [Spec] Hom(A,B)=coprod prod Hom(connexe,connexe) : énoncé | Fabrice (Darwin) | 2011-01-26 | 1 | -65/+80 |
| * | [Spec] démonstration décomposition en produit de connexes si π₀ fini + m... | Fabrice (Darwin) | 2011-01-26 | 1 | -82/+141 |
| * | [Spec] ajout exercice/remarque sur Spec(k^X), X infini | Fabrice (Darwin) | 2011-01-20 | 1 | -3/+32 |
| * | [Spec] Idempotent indécomposable : conditions équivalentes | Fabrice (Darwin) | 2011-01-19 | 1 | -64/+86 |
| * | [Spec] suite réorganisation connexité etc. | Fabrice (Darwin) | 2011-01-19 | 1 | -70/+133 |
| * | [Spec] début réécriture Boole/connexité du chapitre 0 | Fabrice (Darwin) | 2011-01-19 | 1 | -18/+184 |
| * | [Azu,Boole,Ent,CG,Spec,tmp] multiples copiés-collés | Fabrice (Darwin) | 2011-01-12 | 1 | -187/+53 |
| * | [chapitres] blabla -> ../configuration/blabla etc. | Fabrice (iLiburu) | 2011-01-05 | 1 | -11/+13 |
| * | renommage massif : séparation des fichiers de configuration des chapitres etc. | Fabrice (iLiburu) | 2011-01-05 | 1 | -0/+614 |
