Same time. I'd taught myself linear algebra from the Strang lectures (and a Slack study group we set up with some random university's syllabus, which gave us a set of homework problems to do) long before this, so mostly I just matched the professor's lectures to the Strang material, and dipped in and out of Axler when proof and conceptual stuff came up; it's not like we did Axler cover to cover.

Before doing this, I'd only ever sort of skimmed Axler; it's sort of not the linear algebra you care about for cryptography, and up until the spectral theorem stuff that's exactly what Strang was. It was neat to get an appreciation for Axler this was.