Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-02 17:58 a97e86a6

View on Github →

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

Estimated changes

modified theorem ideal.bot_mul
modified theorem ideal.mul_bot
modified theorem ideal.mul_top
modified theorem ideal.top_mul