adapt to MC#1256 · math-comp/algebra-tactics@24f056e

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