[Certora] mutant 9#610

QGarchery wants to merge 1 commit intocertora/gambitmorpho-org/morpho-blue:certora/gambitfrom

certora/mutant-9morpho-org/morpho-blue:certora/mutant-9Copy head branch name to clipboard