mathlib
a97e86a6 - chore(ring_theory/ideal): some simp attributes (#9487)

Commit

4 years ago

chore(ring_theory/ideal): some simp attributes (#9487)

Author

PatrickMassot

PatrickMassot

Parents

Loading