-
Andrei Paskevich authored
In a different file, so that we can show the simpler ordering property first. Also, I cheat, and add an appropriate lemma to modules/python.mlw. Maybe this is a good lemma to have in map.Occ, too.
50513e70
[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
In a different file, so that we can show the simpler ordering property first. Also, I cheat, and add an appropriate lemma to modules/python.mlw. Maybe this is a good lemma to have in map.Occ, too.