Remove duplicated lemmas and dependency to Rstruct #412
nix-action-8.20.yml
on: pull_request_target
coq
38s
mathcomp
38s
mathcomp-analysis
13m 59s
mathcomp-analysis-single
14m 20s