An equivalence between enriched ∞-categories and ∞-categories with weak action - Hadrian Heine (2020)