mathlib3

893964fc - feat(algebra/homology/local_cohomology): Add equivalence of local cohomology along cofinal diagrams (#19105)

feat(algebra/homology/local_cohomology): Add equivalence of local cohomology along cofinal diagrams (#19105) Add the natural equivalence of local cohomology along cofinal diagrams of ideals. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>