search

math-comp / Abel

A proof of Abel-Ruffini theorem.
28 stars 8 forks source link

Add %N for nat constants #74

Closed proux01 closed 2 years ago

proux01 commented 2 years ago

This is in preparation of https://github.com/math-comp/math-comp/pull/841

This is backward compatible (it only ensures that natural number constants will kee being interpreted in nat_scope when a number notation will be added in ring_scope).

proux01 commented 2 years ago

@CohenCyril CI green here since we should ignore the pull_request_target workflows, outside from the CI update, the change itself is trivial: https://github.com/math-comp/Abel/pull/74/commits/2046e7a7923ef863b3973720347b9e3e158ab252