Automorphism-invariant modules satisfy the exchange property | Publicación