54 Commits

Author	SHA1	Message	Date
Sixto	8c9cac6cf1	Cambio de la definición de módulo reflexivo para que esta exija que M y M** sean isomorfos por medio del homomorfismo natural entre ellos y no solo isomorfos.	2025-05-22 20:03:12 +02:00
Sixto	c2d36176b8	Hemos suprimido las premisas <<A es un anillo>> de cada proposición o definición para indicarlo una sola vez al inicio de todas.	2025-05-22 19:42:32 +02:00
Sixto	99b7cdc847	Revisión 20 mayo	2025-05-22 19:33:04 +02:00
Sixto	3a0ad96bed	Subir archivos a "/"	2025-05-06 13:15:59 +02:00