-
https://github.com/coq/coq/issues/18126Robbert Krebbers authored
The new proof avoids `setoid_rewrite` and is just as good, so no need to revert once Coq is fixed.
https://github.com/coq/coq/issues/18126Robbert Krebbers authoredThe new proof avoids `setoid_rewrite` and is just as good, so no need to revert once Coq is fixed.
