Comment (by Miguel Zilhão):

Thanks for this. I had a quick look and it seems fine. I’ll check things more carefully once I have some more time. Gabriele, can you submit a PR?

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2487/_evolution_method-leanbssnmol-in-lean-does