### Sage says equation isn't true while Mathematica says it is

I have the following equation, of which I know that it is true when `sigma > 0`

and `mu > 0`

.

```
eq = mu + 0.5*log(2*pi*sigma^2*e) == log(sqrt(2)*sqrt(pi)*sigma*e^(mu + 0.5))
```

So I set the constraints `assume(sigma > 0)`

and `assume(mu > 0)`

. When evaluating it with `bool(eq)`

, Sage says `False`

while Mathematica says that the equation holds. What am I doing wrong?