summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
Commit message (Expand)AuthorAgeFilesLines
...
* [LG] erreur de signe important corrigéeFabrice (eramangarria)2012-10-261-1/+1
* [LG] copier-collerFabrice (eramangarria)2012-10-261-58/+53
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-10-261-20/+47
|\
| * [LG] style (suppression de « déjà » inutiles) + εFabrice (Darwin)2012-10-261-17/+14
| * [LG] coquilleFabrice (Darwin)2012-10-261-2/+2
| * [LG] 1+2+3+4+… = -1/12 ; remarque sur approche un chouïa différente.Fabrice (Darwin)2012-10-261-1/+31
* | [LG] changement de variableFabrice (eramangarria)2012-10-261-3/+3
|/
* [LG] début réécriture/relecture bref ❡ (§?) sur lien corps de fonctions...Fabrice (eramangarria)2012-10-191-23/+32
* [LG] deux conséquences (triviales) de RRFabrice (eramangarria)2012-10-191-55/+68
* [LG] formule générale de Poisson-Riemann-Roch : fin de la démonstrationFabrice (eramangarria)2012-10-191-42/+49
* [LG] fin détails sur convergence uniforme (pour Poisson)Fabrice (eramangarria)2012-10-191-23/+23
* [LG] quelques \cite{} et modifications mineuresFabrice (Darwin)2012-10-191-11/+15
* [LG] formule de Poisson adélique : début réécriture.Fabrice (eramangarria)2012-10-121-91/+98
* [LG] clarification sur les signes (Poisson adélique)Fabrice (eramangarria)2012-10-121-14/+18
* [LG] début correction perplexité sur niveau...Fabrice (Darwin)2012-10-121-5/+3
* [LG] relecture caractères adéliques.Fabrice (Darwin)2012-10-121-127/+122
* [LG] deux références (à inclure dans .bib)Fabrice (Darwin)2012-09-201-1/+3
* [LG] clarification/réécriture dualité Pontrâgin pour les adèles (passage...Fabrice (Darwin)2012-09-201-49/+73
* [LG] modifications mineures de relecture (mise au propre)Fabrice (Darwin)2012-09-201-76/+70
* [LG] th. densité forte (déjà connu) déplacé (avec remarque sur existence...Fabrice (Darwin)2012-09-201-25/+12
* [LG] suppression blabla sur Pic déjà réécritesFabrice (Darwin)2012-09-201-41/+12
* [LG] Spec(𝒪_K(U))=U : fin ; changement d'étiquettesFabrice (Darwin)2012-09-201-52/+66
* [LG] coquille + questions de notationFabrice (eramangarria)2012-09-131-12/+21
* [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et applic...Fabrice (eramangarria)2012-09-121-9/+27
* [LG] reminimodificationsFabrice (Darwin)2012-09-121-3/+4
* [LG] légère réécriture finitude Pic(O_K)Fabrice (Darwin)2012-09-121-13/+6
* [LG] finitude Pic(𝒪_K) par méthode élémentaireFabrice (Darwin)2012-09-121-3/+41
* [LG] groupes de Picard, finitude (méthode adélique)Fabrice (Darwin)2012-09-061-70/+150
* [LG] sorites vers le groupe de PicardFabrice (eramangarria)2012-08-301-53/+59
* [LG] fin Dirichlet abstraitFabrice (eramangarria)2012-08-301-8/+32
* [LG] encore un lemme sorital d'intégration/topologieFabrice (eramangarria)2012-08-301-0/+14
* [LG] Dirichlet abstrait ⇒ Dirichlet usuelFabrice (eramangarria)2012-08-301-44/+79
* [LG] fin comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-091-20/+57
* [LG] début comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-081-42/+61
* [LG] correction bug extrêmement bizarreFabrice (eramangarria)2012-08-081-1/+1
* [LG] iffileexits (cf. .cv.tex et affichage date/haché)Fabrice (eramangarria)2012-08-081-2/+2
* [LG] caractères additifs de Q_AFabrice (eramangarria)2012-07-181-79/+130
* [LG] relecture §1.1—§1.3.2Fabrice (eramangarria)2012-07-181-44/+48
* [LG] début idèlesFabrice (eramangarria)2012-07-131-30/+97
* [LG] formule du produit (première démonstration) et un résultat de finitude.Fabrice (eramangarria)2012-07-131-17/+53
* [LG] théorème de cocompacitéFabrice (eramangarria)2012-07-131-20/+72
* [LG] homogénéisation des notationsFabrice (eramangarria)2012-07-121-1/+1
* [LG] trace et dualité (suite et fin)Fabrice (eramangarria)2012-07-121-32/+23
* [LG] trace et dualité (en cours) [sauvegarde avant de partir…]Fabrice (eramangarria)2012-07-121-32/+80
* [LG] fin démonstration K_𝐀 ⊗_K L ⥲ L_𝐀Fabrice (eramangarria)2012-07-121-64/+21
* [LG] clarification sur O(U) de DedekindFabrice (eramangarria)2012-07-121-12/+18
* [AVD-D, LG] 日本式ローマ字Fabrice (eramangarria)2012-07-121-1/+1
* [LG] référence et coquilleFabrice (eramangarria)2012-06-221-2/+4
* [LG] début réécriture K_A tens L = L_A via argument moins ad hocFabrice (eramangarria)2012-06-211-23/+56
* [LG] p-rang + sauvegarde K_A (x) L = L_A avant réécritureFabrice (eramangarria)2012-06-211-11/+48