document.write("« Fibrations of 3-manifolds and asymptotic translation length in the arc complex. (arXiv:1810.07236v1 [math.GT])");document.write(" | ");document.write("Formality – An efficient programming language and proof assistant »");