Def localCohomology.idealPowersToSelfLeRadicalCompInclusion

Modification history

2023-06-26 01:04

Mathlib/Algebra/Homology/LocalCohomology.lean

chore: tidy various files (#5469)

Deleted localCohomology.idealPowersToSelfLeRadicalCompInclusion View on Github →

2023-06-06 19:24

Mathlib/Algebra/Homology/LocalCohomology.lean

feat: port Algebra.Homology.LocalCohomology (#4749)

Added localCohomology.idealPowersToSelfLeRadicalCompInclusion View on Github →