| Commit message (Expand) | Author | Age | Files | Lines |
* | [AVD-D] étiquette | Fabrice (Darwin) | 2013-01-10 | 1 | -0/+1 |
* | [AVD-D] ajout étiquette | Fabrice (Darwin) | 2012-10-12 | 1 | -0/+1 |
* | [AVD-D] étiquette | Fabrice (Darwin) | 2012-09-20 | 1 | -2/+2 |
* | [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et applic... | Fabrice (eramangarria) | 2012-09-12 | 1 | -0/+20 |
* | [AVD-D] mini toudou | Fabrice (Darwin) | 2012-09-12 | 1 | -0/+7 |
* | [AVD-D] énoncé (vague) : à faire | Fabrice (eramangarria) | 2012-07-13 | 1 | -1/+11 |
* | [AVD-D] coquille mathématique | Fabrice (eramangarria) | 2012-07-12 | 1 | -1/+1 |
* | [AVD-D, LG] 日本式ローマ字 | Fabrice (eramangarria) | 2012-07-12 | 1 | -3/+3 |
* | [RT, AVD-D] ajout de quelques énoncés sur séparabilité, k((t)) etc. (à d... | Fabrice (eramangarria) | 2012-06-21 | 1 | -4/+16 |
* | [AVD-D] clarification énoncé sur extensions valuations | Fabrice (eramangarria) | 2012-06-21 | 1 | -10/+22 |
* | [AVD-D] precisions sur Krull-Akiduki | Fabrice Orgogozo | 2012-03-22 | 1 | -2/+4 |
* | [AC,AVD-D,CG,Alg] tiquettes, mini-toudou, coquilles | Fabrice Orgogozo | 2012-03-15 | 1 | -0/+1 |
* | [AVD-D] mini toudou | Fabrice (Phare) | 2012-03-08 | 1 | -0/+7 |
* | [AC,AVD-D,RT] toudous | Fabrice (Darwin) | 2012-03-01 | 1 | -0/+10 |
* | [AVD-D] notation à changer | Fabrice (Darwin) | 2011-11-25 | 1 | -0/+5 |
* | [AVD-D] petit toudou (fonctorialité ensemble des classes de valeurs absolues) | Fabrice (iLiburu) | 2011-06-08 | 1 | -0/+4 |
* | [AVD-D] toudou (variante sur Ostrowski) + doutes terminologiques | Fabrice (iLiburu) | 2011-06-08 | 1 | -1/+14 |
* | [AVD-D] EVT localement compact sur corps *valué* (non discret) est de dimens... | Fabrice (iLiburu) | 2011-06-08 | 1 | -0/+42 |
* | [AVD-D] changement terminologique (pseudo-valuation -> valuation) | Fabrice (iLiburu) | 2011-06-08 | 1 | -10/+16 |
* | [AVD-D] référence ajoutée | Fabrice (iLiburu) | 2011-06-01 | 1 | -0/+7 |
* | [AVD-D] quelques sorites sur EVT. (Applications : à faire) | Fabrice (iLiburu) | 2011-06-01 | 1 | -0/+95 |
* | [AVD-D] toudou (Gelfand-Mazur-Ostrowski, sorites sur valeurs absolues) | Fabrice (iLiburu) | 2011-05-25 | 1 | -4/+24 |
* | [AVD-D] étiquettes + toudou | Fabrice (iLiburu) | 2011-05-18 | 1 | -15/+38 |
* | [AVD-D] étiquette + référence | Fabrice Orgogozo | 2011-04-20 | 1 | -3/+4 |
* | [AVD-D] ajout d'une référence | Fabrice (iLiburu) | 2011-04-09 | 1 | -0/+2 |
* | [AVD-D] ajout étiquettes/toudou | Fabrice (iLiburu) | 2011-04-07 | 1 | -11/+34 |
* | [A(V)D] mini-toudou | Fabrice (Polytechnique) | 2011-03-24 | 1 | -1/+5 |
* | [AVD, corps locaux/globaux] petite réorganisation + précision sur plan adè... | Fabrice (Darwin) | 2011-03-24 | 1 | -0/+827 |