Compare structure instances rather than operators

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components

33 stars 2 forks source link

Closed pi8027 closed 2 years ago

pi8027 commented 2 years ago

Apparently, comparing operators rather than instances does not improve anything. Let's remove it.