Weinstein-Aronszajn identity

An identity stating that if A and B are matrices of size m × n and n × m respectively (either or both of which may be infinite) then, provided AB (and hence, also BA) is of trace class, det (I_m+AB)= det (I_n+BA), where I_k is the k × k identity matrix.