-
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
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.