No but if more miners leave then dofficulty with drop faster right? Its modelling supply and demand curves which are a stable equilibrium in these circumstances
In practice it’s not much of an issue because bitcoin is not use for commerce but it’s a store of value and it some of the trades are not even on chain.