Draft: Simplify euclidean to computer division
make the proof using lemma function instead of coq.
Target 1.5.0, because the simplification could have some effect on proof
GitLab upgrade completed. Current version is 17.8.1: https://about.gitlab.com/releases/2025/01/16/gitlab-17-8-released/
Git-LFS will be deployed on Monday February 10. Our GitLab instance will be interrupted for a few minutes between 1pm and 2pm.
From this date, the quota check will switch to blocking mode. More informations about quotas: https://gitlab.inria.fr/siteadmin/doc/-/wikis/faq#quota-management-policy-to-monitor-disk-space-by-project-on-gitlab
make the proof using lemma function instead of coq.
Target 1.5.0, because the simplification could have some effect on proof