include.tex

\documentclass[12pt]{article}
\usepackage{polski}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{fancyhdr}
\usepackage{lastpage}
\usepackage{multirow}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{textcomp}
% \usepackage{ulem}
\usepackage{hyperref}
\frenchspacing
\usepackage{fullpage}
\setlength{\headsep}{30pt}
\setlength{\headheight}{12pt}
%\setlength{\voffset}{-30pt}
%\setlength{\textheight}{730pt}
\pagestyle{myheadings}
%\usepackage{kuvio,amscd,diagrams,dcpic,xymatrix,diagxy}
\usepackage{tikz,paralist,mathtools}
\usetikzlibrary{matrix,arrows,decorations}

\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Tor}{Tor}
\DeclareMathOperator{\Mor}{Mor}
\DeclareMathOperator{\Kom}{Kom}
\DeclareMathOperator{\sgn}{sgn}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\Ob}{Ob}
\DeclareMathOperator{\Cone}{C}
\DeclareMathOperator{\Cyl}{Cyl}
\DeclareMathOperator{\Der}{D}
\DeclareMathOperator{\K}{K}
\newcommand{\Set}{\mathrm{Set}}
\newcommand{\Top}{\mathrm{Top}}
\newcommand{\Rmod}{\mathrm{R-mod}}
\newcommand{\id}{\mathrm{id}}
\newcommand{\A}{\mathcal{A}}
\newcommand{\B}{\mathcal{B}}
\newcommand{\C}{\mathcal{C}}
\newcommand{\D}{\mathcal{D}}
\newcommand{\Q}{\mathcal{Q}}
\newcommand{\qi}{quasi-isomorphism}

\newcommand{\bigslant}[2]{{\left.\raisebox{.2em}{$#1$}\middle/\raisebox{-.2em}{$#2$}\right.}}
\newcommand{\mf}[1]{{\mathfrak{#1}}}
\newcommand{\mb}[1]{{\mathbb{#1}}}
\newcommand{\mc}[1]{{\mathcal{#1}}}
\newcommand{\mr}[1]{{\mathrm{#1}}}


\newcounter{punkt}

\theoremstyle{plain}
\newtheorem{theorem}[punkt]{Theorem}
\newtheorem{lemma}[punkt]{Lemma}
\newtheorem{definition}[punkt]{Definition}
\newtheorem{fact}[punkt]{Fact}
\newtheorem{proposition}[punkt]{Proposition}
\newtheorem{corollary}[punkt]{Corollary}

\theoremstyle{definition}
\newtheorem{remark}[punkt]{Remark}
\newtheorem{example}[punkt]{Example}
\newtheorem{exercise}[punkt]{Exercise}