Organize util/
util/lemmas.v has too many lemmas and definitions about different concepts. It would be better to separate them into multiple files.
util/lemmas.v has too many lemmas and definitions about different concepts. It would be better to separate them into multiple files.