Notation conflicts with SSReflect notation
I want to import SSReflect and stdpp in a project. I cannot do this due to notation conflict between the two libraries.
Is there a way to import one of the libraries without importing a specific notation? If not, would it be possible to change this notation in Stdpp?