mathlib

5a684ce8 - feat(algebra/homology/local_cohomology): just the definition (#19061)

feat(algebra/homology/local_cohomology): just the definition (#19061) Co-authored-by: Emily Witt <emwitt@gmail.com> Co-authored-by: Jake Levinson <levinson.jake@gmail.com> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>