Declare `equiv` as a rightful rewrite relation, when an `Equiv` instance is available. (!273) · Merge requests · Iris / stdpp

Merged Matthieu Sozeau requested to merge mattam82/stdpp:coq-13969 into master 4 years ago

Status	Pipeline	Stages
Passed 00:04:57 3 years ago	Wrap the comment #59846 273 c355607c	Stage: build	Download artifacts No artifacts found
Passed 00:04:36 3 years ago	Improve the doc for the `RewriteRelation equiv` instance. #59640 273 bbdbb1c1	Stage: build	Download artifacts No artifacts found
Passed 00:07:13 3 years ago	Apply 2 suggestion(s) to 1 file(s) #58841 273 3671f349	Stage: build	Download artifacts No artifacts found
Passed 00:04:48 4 years ago	Apply 1 suggestion(s) to 1 file(s) #48084 273 b144619d	Stage: build	Download artifacts No artifacts found
Passed 00:09:13 4 years ago	Declare `equiv` as a rightful rewrite relation, when an `Equiv` instance is available. #48082 273 ebfc8b93	Stage: build	Download artifacts No artifacts found

Declare `equiv` as a rightful rewrite relation, when an `Equiv` instance is available.