`Equivalence` for `≡` on gmultisets.
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#10592
fp
|
build-coq.8.6.0 |
00:05:37
|
|
|||||
| passed |
#10591
fp
|
build-coq.8.6.1 |
00:07:23
|
|
|||||
| passed |
#10590
fp
|
build-coq.8.7.0 |
00:04:20
|
|
|||||
| passed |
#10589
fp
|
build-coq.8.7.1 |
00:02:39
|
|
|||||
| passed |
#10588
fp-timing
|
build-coq.8.7.2 |
00:02:39
|
|
|||||
| passed |
#10587
fp
|
build-coq.8.8.dev |
00:16:41
|
|
|||||
| passed |
#10586
fp
|
build-coq.dev |
00:16:40
|
|
|||||