Theorem SheafOfModules.Presentation.IsFinite.finite_relations

Modification history

2026-10-16 07:34
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
chore: remove declarations deprecated between 2026-04-01 and 2026-04-15 (#44903) …
Deleted SheafOfModules.Presentation.IsFinite.finite_relationsView on Github →
2026-04-15 17:10
Mathlib/Algebra/Category/ModuleCat/Sheaf/Quasicoherent.lean
feat(Algebra/Category/ModuleCat/Sheaf): `isQuasicoherent` and `isFinitePresentation` are closed under isomorphisms (#37532) …
Added SheafOfModules.Presentation.IsFinite.finite_relationsView on Github →