summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
Commit message (Expand)AuthorAgeFilesLines
* Unicode : remplacement du caractère U+2126 OHM SIGN par U+03A9 GREEK CAPITA...David A. Madore2013-02-281-5/+5
* Ajout à tous les fichiers d'une ligne magique pour Emacs.David A. Madore2013-02-211-0/+1
* [AVD-D] étiquetteFabrice (Darwin)2013-01-101-0/+1
* [AVD-D] ajout étiquetteFabrice (Darwin)2012-10-121-0/+1
* [AVD-D] étiquetteFabrice (Darwin)2012-09-201-2/+2
* [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et applic...Fabrice (eramangarria)2012-09-121-0/+20
* [AVD-D] mini toudouFabrice (Darwin)2012-09-121-0/+7
* [AVD-D] énoncé (vague) : à faireFabrice (eramangarria)2012-07-131-1/+11
* [AVD-D] coquille mathématiqueFabrice (eramangarria)2012-07-121-1/+1
* [AVD-D, LG] 日本式ローマ字Fabrice (eramangarria)2012-07-121-3/+3
* [RT, AVD-D] ajout de quelques énoncés sur séparabilité, k((t)) etc. (à d...Fabrice (eramangarria)2012-06-211-4/+16
* [AVD-D] clarification énoncé sur extensions valuationsFabrice (eramangarria)2012-06-211-10/+22
* [AVD-D] precisions sur Krull-AkidukiFabrice Orgogozo2012-03-221-2/+4
* [AC,AVD-D,CG,Alg] tiquettes, mini-toudou, coquillesFabrice Orgogozo2012-03-151-0/+1
* [AVD-D] mini toudouFabrice (Phare)2012-03-081-0/+7
* [AC,AVD-D,RT] toudousFabrice (Darwin)2012-03-011-0/+10
* [AVD-D] notation à changerFabrice (Darwin)2011-11-251-0/+5
* [AVD-D] petit toudou (fonctorialité ensemble des classes de valeurs absolues)Fabrice (iLiburu)2011-06-081-0/+4
* [AVD-D] toudou (variante sur Ostrowski) + doutes terminologiquesFabrice (iLiburu)2011-06-081-1/+14
* [AVD-D] EVT localement compact sur corps *valué* (non discret) est de dimens...Fabrice (iLiburu)2011-06-081-0/+42
* [AVD-D] changement terminologique (pseudo-valuation -> valuation)Fabrice (iLiburu)2011-06-081-10/+16
* [AVD-D] référence ajoutéeFabrice (iLiburu)2011-06-011-0/+7
* [AVD-D] quelques sorites sur EVT. (Applications : à faire)Fabrice (iLiburu)2011-06-011-0/+95
* [AVD-D] toudou (Gelfand-Mazur-Ostrowski, sorites sur valeurs absolues)Fabrice (iLiburu)2011-05-251-4/+24
* [AVD-D] étiquettes + toudouFabrice (iLiburu)2011-05-181-15/+38
* [AVD-D] étiquette + référenceFabrice Orgogozo2011-04-201-3/+4
* [AVD-D] ajout d'une référenceFabrice (iLiburu)2011-04-091-0/+2
* [AVD-D] ajout étiquettes/toudouFabrice (iLiburu)2011-04-071-11/+34
* [A(V)D] mini-toudouFabrice (Polytechnique)2011-03-241-1/+5
* [AVD, corps locaux/globaux] petite réorganisation + précision sur plan adè...Fabrice (Darwin)2011-03-231-0/+827