Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-31 21:28 106dc579

View on Github →

chore(ring_theory/ideal/operations): generalize typeclass in map_map and comap_comap (#10077) Split from #10024 which is hitting timeouts somewhere more irritating.

Estimated changes