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?