aboutsummaryrefslogtreecommitdiff
path: root/main.tex
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2023-04-12 17:51:30 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2023-04-12 17:51:30 +0200
commit0a2e4cbff1b9f957dabf41f81aac9549da9b7043 (patch)
tree41d78dd142d3f3680b1bb7421d180383f7852116 /main.tex
parentafce05fbe157ea74d36fd908fd9fe28e90db918e (diff)
Isomorfismos, objetos iniciales y finales
Diffstat (limited to 'main.tex')
-rw-r--r--main.tex3
1 files changed, 3 insertions, 0 deletions
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}