Skip to content
Snippets Groups Projects

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

Merged Set the priority of the rewrite relation for sqsubseteq to not take precedence over...
mattam82/stdpp:pr-13969-take3 into master
All threads resolved!
Merged Matthieu Sozeau requested to merge mattam82/stdpp:pr-13969-take3 into master
All threads resolved!