Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-08 14:15 eb678347

View on Github →

chore(ring_theory/noetherian): golf and generalize map_fg_of_fg (#10217)

Estimated changes

modified theorem submodule.map_fg_of_fg