Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-08 08:31 43cb3ffc

View on Github →

fix(ring_theory/ideal/operations): fix a name and dot notation (#12507)

Estimated changes