compatibility of first and last n-cat axioms; mention stricter variant of last axiom
\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}