Vista combinada de todos los registros de Demostración automática de teoremas (2014-15). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 11:12 17 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 166 de la página Tema 13: Razonamiento modular (I): Teoría de grupos. como verificada
• 11:11 17 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 165 de la página Tema 13: Razonamiento modular (I): Teoría de grupos. como verificada