[Certora] mutant 15#604

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

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