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
[A venir] Mise en place de quotas sur nos instances gitlab. Pour plus d'information lire: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
make the proof using lemma function instead of coq.
Target 1.5.0, because the simplification could have some effect on proof