Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-16 19:18 8d8c3560

View on Github →

chore(ring_theory/noetherian): add fg_span and fg_span_singleton (#6709)

Estimated changes

added theorem submodule.fg_span