Contributions de 92.135.102.168
De 92.135.102.168 discuter journal des blocages journaux journal des filtrages
11 novembre 2016
- 09:5311 novembre 2016 à 09:53 diff hist −30 Produit tensoriel →Produit tensoriel multiple
- 09:5211 novembre 2016 à 09:52 diff hist −18 Produit tensoriel →Définition : J'ai remplacè bigotimes par otimes, puisque les opérateurs larges servent uniquement comme unaires et portent des limites (c'est la différence entre + et \sum)