\documentclass[12pt,a4paper,leqno,twoside]{amsart}

\textwidth=154mm
\hoffset=-14mm
\usepackage{latexsym}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}

%pridano
\usepackage{graphicx}
\usepackage{color}
%\usepackage{xcolor}
\usepackage{transparent}
\graphicspath{{img/}}

\usepackage{chngcntr}
\counterwithin{figure}{section}

%\usepackage{makeidx}
\usepackage{hyperref}
\hypersetup{%
	%hidelinks,
	colorlinks=false,
	linkbordercolor={1 1 1},% hyperlink borders will be white
	citebordercolor={1 1 1},
	urlbordercolor={0 0 0},
  	pdfborderstyle={/S/U/W 1}% border style will be underline of width 1pt
}
%pridano

\usepackage{float}

\numberwithin{equation}{section}

\theoremstyle{plain}
%\swapnumbers
\newtheorem*{thm*}{Theorem}
\newtheorem{thm}{Theorem}[section]
\newtheorem{thma}{Theorem}[thm]% pridano
\renewcommand{\thethma}{\Alph{thma}}% pridano
\newtheorem*{cor*}{Corollary}
%\newcounter{cor}% pridano
\newtheorem{cor}{Corollary}[thm]% [thm] z prostred nakonec
\renewcommand{\thecor}{\Alph{cor}}
\newtheorem*{lemma*}{Lemma}
\newtheorem{lemma}{Lemma}[thm]
\renewcommand{\thelemma}{\Alph{lemma}}
\newtheorem*{prop*}{Proposition}
\newtheorem{prop}[thm]{Proposition}
\newtheorem*{ap*}{Appendix}
\newtheorem{ap}[thm]{Appendix}

\newtheoremstyle{indented}{2em}{3pt}{}{}{\bfseries}{.}{.5em}{}
\theoremstyle{indented}
\newtheorem{cislo}[thm]{}

\theoremstyle{definition}

\newtheorem*{defin*}{Definition}
\newtheorem{defin}[thm]{Definition}
\newtheorem*{remark*}{Remark}
\newtheorem{remark}{Remark}[thm]
\renewcommand{\theremark}{\Alph{remark}}%pridano
\newtheorem*{example*}{Example}
\newtheorem{example}{Example}[thm]
\renewcommand{\theexample}{\Alph{example}}
\newtheorem*{ex*}{Exercise}
\newtheorem{ex}{Exercise}[thm]
\renewcommand{\theex}{\Alph{ex}}

\def\id{\operatorname{id}}
\def\top{\mathsf{Top}}
\def\inte{\operatorname{int}}
\def\ab{\mathsf{Ab}}
\def\abAG{\mathcal{A}\mathcal{G}} % jine v kap. 05
\def\a{\mathsf{A}}
\def\b{\mathsf{B}}
\def\mod{\mathsf{Mod}}
\def\chain{\mathsf{Ch}}
\def\cochain{\mathsf{CoCh}}
\def\gmod{\mathsf{GMod}}
\def\gab{\mathsf{GAb}}
\def\set{\mathsf{Set}}
\def\g{\mathsf{G}}
\def\Z{\mathbb Z}
\def\Q{\mathbb Q}
\def\R{\mathbb R}
\def\e{\varepsilon}
\def\p{\varphi}
\def\ps{\psi}
\def\s{\sigma}
\def\i{\iota}
\def\k{\kappa}
\def\l{\lambda}
\def\inte{\operatorname{int}}
\def\id{\operatorname{id}}
\def\dim{\operatorname{dim}}
\def\const{\operatorname{const}}
\def\im{\operatorname{Im}}
\def\ker{\operatorname{Ker}}
\def\deg{\operatorname{deg}}
\def\rank{\operatorname{rank}}
\def\tr{\operatorname{tr}}
\def\torsion{\operatorname{Torsion}}
\def\hom{\operatorname{Hom}}
\def\tor{\operatorname{Tor}}
\def\ext{\operatorname{Ext}}
\def\dl{\underrightarrow{\operatorname{lim}}\ }
\def\I{\partial I}



\input xy
\xyoption{all}

\makeindex
\begin{document}

\title[]{\Large Introduction to Algebraic Topology}

\author[]{\large Martin \v Cadek}
%\author[]{}

%\date {\today}