text/obsolete/A-infty.tex
changeset 590 6de8871d5786
parent 134 395bd663e20d