Lecture Theatre, Trinity Hall, Trinity Lane