Add a theory of finite permutations. #129
Triggered via pull request
February 27, 2026 23:23
CohenCyril
CohenCyril
synchronize
#153
Status
Success
Total duration
7m 21s
Artifacts
–
nix-action-8.20.yml
on: pull_request_target
coq
45s
mathcomp-finmap
46s
multinomials
3m 8s