IIRC, other browsers (the chinese UC browser and Nokia's OVI browser) had compression too. But opera was most popular (and perhaps most mature as well).
Opera Mini went way beyond just compression. It effectively rendered the website server-side and then sent optimized markup to the client (so it's much closer to "print site to SVG" on the server than "Content-encoding: gzip").
