Contrib bigop by pPomCo · Pull Request #1119 · math-comp/math-comp
and others added 7 commits
November 6, 2023 11:07
Co-authored-by: Quentin VERMANDE <quentin.vermande@orange.fr>
coqbot-app
bot
added
the
needs: rebase
label
Jan 23, 2026
Co-authored-by: Quentin VERMANDE <quentin.vermande@orange.fr>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters