Adapt to MC#1319 · math-comp/algebra-tactics@3d7ed71

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

To avoid stack overflow, large numbers in nat are interpreted as

Provide feedback