Adapt to MC#1319 · math-comp/algebra-tactics@506b026

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