Remove duplicated lemmas and dependency to Rstruct #2993
nix-action-master.yml
on: pull_request_target
coq
4m 11s
mathcomp
10m 5s
mathcomp-analysis
16m 16s
mathcomp-analysis-single
15m 43s