Trotter–Kato theorem

GPTKB entity