Remove Permutation Proper workaround that is not needed in Coq >= 8.15.
Fixed by https://github.com/coq/coq/issues/14571
I checked that the test cases in #114 (closed) still succeed instantly after removing the workaround.
Fixed by https://github.com/coq/coq/issues/14571
I checked that the test cases in #114 (closed) still succeed instantly after removing the workaround.
changed title from Remove workaround that is not needed in Coq >= 8.15. to Remove Permutation Proper workaround that is not needed in Coq >= 8.15.
enabled an automatic merge when the pipeline for 9d074f8d succeeds
merged
mentioned in commit 37eafc88