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 18.5.4
https://about.gitlab.com/releases/2025/09/18/gitlab-18-4-released/
https://about.gitlab.com/releases/2025/10/16/gitlab-18-5-released/
make the proof using lemma function instead of coq.
Target 1.5.0, because the simplification could have some effect on proof