Contributions de Hairy Dude
De Hairy Dude discuter journal des blocages téléversements journaux Journal des blocages globaux compte global journal des filtrages
Un utilisateur avec 0 modification. Compte créé le 17 août 2008.
27 octobre 2010
- 18:4827 octobre 2010 à 18:48 diff hist −12 m Utilisateur:NoFWDaddress/Brouillon/WP:Contributions tendancieuses →What is tendentious editing? : spacing (use {{clearleft}} instead of <br>)
17 juillet 2008
- 16:3217 juillet 2008 à 16:32 diff hist +63 Imprédicativité whether the set of lower bounds is infinite depends on the order, e.g. by definition it's finite for any well-founded order