added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.

grep -o beginpgfgraphicnamed\{[0-9A-Za-z-]*\} < *.tex | sed -e 's/beginpgfgraphicnamed{//' | sed -e 's/}//'