Winstanley Lecture Theatre, Trinity College, Trinity Street