RicciToEinsteinCC

RicciToEinsteinCC[K][expr]
converts all Ricci tensors in expr to cosmological Einstein tensors with cosmological constant K.
RicciToEinsteinCC[K][expr, cd]
converts only Ricci tensors of the covariant derivative cd.