making pinched products axioms terser, and writing a short proof of the higher deligne conjecture
\documentclass[11pt,leqno]{amsart}
%\usepackage{amsthm}
\newcommand{\pathtotrunk}{../../}
\input{\pathtotrunk text/article_preamble}
\input{\pathtotrunk text/top_matter}
\input{\pathtotrunk text/kw_macros}
\begin{document}
\input{A-infty}
\input{gluing}
\end{document}