From 0a2e4cbff1b9f957dabf41f81aac9549da9b7043 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Wed, 12 Apr 2023 17:51:30 +0200
Subject: Isomorfismos, objetos iniciales y finales

---
 main.tex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 5eb3e79..1eab56b 100644
--- a/main.tex
+++ b/main.tex
@@ -25,6 +25,9 @@
 \usepackage{amssymb}
 
 % Theorem styles
+\theoremstyle{plain}
+\newtheorem{proposition}{Proposición}
+\newtheorem{corollary}{Corolario}
 \theoremstyle{definition}
 \newtheorem{definition}{Definición}
 \theoremstyle{remark}
-- 
cgit v1.2.3

