Given that a local diffeomorphism is not necessarily a [global] diffeomorphism, I wonder if Einstein's GR in covariant under local diffeomorphisms of a Lorenzian manifold?
If so, why do we interpret general covariance as [global] diffeomorphism covariance and not local diffeomorphism covariance?
