You are entirely correct for the symmetric thin lens approximation. If there are asymmetric lenses (e.g. with a pupil magnification ratio other than 1, i.e. telephoto or retrofocus lenses) then it gets a little messier because the lens when focused at infinity is not its focal length away from the film plane.
Edit: more importantly, its exit pupil is not the focal length away from the film.