D ec 2 01 7 A mathematical account of the NEGF formalism