Proof equivalence in MLL is PSPACE-complete (Logical Methods in Computer Science, 2016)