adapt to MC#1256 · coq-community/apery@0119875

all matches of The LHS of __top_assumption_

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Notation archi_boundP is deprecated since mathcomp 2.1.0.

Ignoring canonical projection to GRing.natmul by num_of_pos in

Ignoring canonical projection to intmul by num_of_pos in

Ignoring canonical projection to GRing.natmul by num_of_pos in

Ignoring canonical projection to intmul by num_of_pos in

Notation Num.nat is deprecated since mathcomp 2.1.0.

Notation Num.nat is deprecated since mathcomp 2.1.0.

Notation ZnatP is deprecated since mathcomp 2.1.0.

Notation ZnatP is deprecated since mathcomp 2.1.0.

Notation Num.nat is deprecated since mathcomp 2.1.0.

Provide feedback