Remove the use of [the _ of _] notations (#1430) #1086
nix-action-8.19.yml
on: push
coq
35s
mathcomp-experimental-reals
36s
mathcomp-analysis-stdlib
37s
Annotations
9 warnings