A solution of the generalised quantum Stein's lemma - Ludovico Lami (2024)