generalize setUitv1, setU1itv, setDitv1{l,r}, and add similar lemmas #1453
nix-action-9.0.yml
on: pull_request_target
rocq-core
44s
mathcomp-analysis-single
13m 48s
ssprove
17m 19s
mathcomp-infotheo
6m 47s