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

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...