AFAIK you are correct. I don’t think lemmy has an official app and the only 3rd party app that exists of any substance is jerboa so I suppose right now it is kind of the official Android app while mlem is the iOS counterpart. But only because there’s nothing else atm
You pretty much just described today’s Internet