Set the priority of the rewrite relation for sqsubseteq to not take precedence over... (!362) · Merge requests · Iris / stdpp

Merged Matthieu Sozeau requested to merge mattam82/stdpp:pr-13969-take3 into master Jan 14, 2022

Set the priority of the rewrite relation for sqsubseteq to not take precedence over the eq instance from Coq or equiv.

Edited Jan 14, 2022 by Matthieu Sozeau

Set the priority of the rewrite relation for sqsubseteq to not take precedence over...