Closed erikmd closed 3 years ago
Implement the fix suggested by @proux01 in https://github.com/math-comp/multinomials/pull/49#issuecomment-953721813 (for Nix compatibility)
Implement the fix suggested by @proux01 in https://github.com/math-comp/multinomials/pull/49#issuecomment-953721813 (for Nix compatibility)