I have no knowledge of differential equations, but I have the background in differential geometry/topology and analysis that one acquires in a PhD program. I.e. I have a foundational knowledge of Lie groups (roughly equivalent to Knapp's book), Riemannian geometry (roughly equivalent to do Carmo's book) and a similar foundational knowledge of real, complex and functional analysis. I'm looking for a book on differential equations to read in my spare time, but I'm finding it difficult to find one that is written with the level of care and detail that I look for in a textbook, the kind of care and detail one finds in John Lee's books, for instance. In many books I've looked at, symbols will be displayed in equations without precise definitions, functions will be mentioned without stating their domain and co-domain, and the exposition suffers from many other similar deficiencies in clarity.
Is there a carefully written DE book for someone with some mathematical maturity?