According to a site [1] Mana is 19th. While that is probably overly high, I would say he is easily in the top 200 Starcraft 2 players in the world. I would also say that to get from beating a top 200 human to beating all humans is much smaller than from scratch to beating a top 200 human.
Aligulac's had Mana around 50th in the world consistently for a recent 12 month period, so I think that's a more reasonable claim, and I'm happy saying that the 50th best player is a "top player in the world".
Aligulac is not that good, the current top 10 is highly debatable, I'd argue the only thing the current top 10 gets correct is Maru/Serral top 2, though Maru being first is a stretch as he hasn't beaten Serral and was easily countered at Blizzcon by simple strategies. I'd agree with him as #1 if he had any flexibility to not just cheese his opponents out (see Keen Ro16 matches, sOs, numerous proxies vs TY, etc.) Maru's a fantastic player but Aligulac has no way to judge his strategic inflexibility.
[1] https://www.gosugamers.net/starcraft2/rankings