Adapt to https://github.com/coq/coq/pull/19530 · coq-community/math-classes@14d2194

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/

"From Coq" has been replaced by "From Stdlib".

Coq.Setoids.Setoid has been replaced by Stdlib.Setoids.Setoid.

Coq.Classes.Morphisms has been replaced by Stdlib.Classes.Morphisms.

Coq.Classes.RelationClasses has been replaced by

Coq.Unicode.Utf8 has been replaced by Stdlib.Unicode.Utf8.

Adding and removing hints in the core database implicitly is

Adding and removing hints in the core database implicitly is

Adding and removing hints in the core database implicitly is

Coq.Unicode.Utf8 has been replaced by Stdlib.Unicode.Utf8.

Coq.Lists.List has been replaced by Stdlib.Lists.List.

Provide feedback