The generalized quantum Stein's lemma for resource theories
Generalized quantum Stein's lemma. For any such family,