←BackMmath-comp/odd-order0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsOdd OrderFeaturesType Theory and Mathematics - Listed in the “Type Theory and Mathematics” section of the Awesome Coq awesome list.