From what I read, he didn’t even OK it then. It was basically Panetta and Clinton making the call and they let Obama and Jarrett know about it after it was too late to cancel the mission.
I got excited and said 7 when it was actually three. I think you are correct. He only relented after it was too late to stop the mission.