You mean OS X 10.7 Lion?

10.8 was Mountain Lion.

But before OS X was OS 9, and OS 9 was not the same thing as OS-9.

https://apple.fandom.com/wiki/Mac_OS_9

https://microware.com/

Before OS 9 was OS 8, which was unrelated to OS/8.

https://apple.fandom.com/wiki/Mac_OS_8

https://gunkies.org/wiki/OS/8

Names overlap. The hommage in this one is fairly clear, I think.

This is "The Lions" operating system, not "The Mountain Lions" operating system

Ergo it would be 10.7 Lion, no?

Yes, that is indeed what I was getting at. I could have made it clearer by replying to the same parent comment as you. Sorry about that.