text/obsolete/A-infty.tex
changeset 818 fb9fc18d2a52
parent 134 395bd663e20d