Dear all, I'm following the calculations on the Schwarzschild tutorial to develop my own calculation.

I'd like to consider the Einstein equations with cosmological constant

`einseq := Eq_{\mu \nu} = G_{\mu \nu} + \Lambda g_{\mu \nu};`

Then, I'd like to substitute the expressions for the Einstein tensor ($G*{\mu\nu}$) and the metric ($g*{\mu \nu}$),

`substitute(einseq, eins);`

but the substitution is not complete (see the picture).

## Problems

- Even if I try to substitute the metric, there is no substitution rule for the metric
- Whether I try to substitute two tensorial expressions, I obtain a weird equation (See picture)

## Questions

- Is there a way of substitute multiple tensor expressions on a equation?
- Is it possible to substitute the metric?