Adapt to MC#1319 · math-comp/algebra-tactics@99ae12e

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

This notation contains Ltac expressions: it will not be used for

This notation contains Ltac expressions: it will not be used for

This notation contains Ltac expressions: it will not be used for

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