Commit 2026-04-15 17:10 3d272aae
View on Github →feat(Algebra/Category/ModuleCat/Sheaf): isQuasicoherent and isFinitePresentation are closed under isomorphisms (#37532)
Also slightly changes the definition of Presentation.IsFinite to use GeneratingSections.IsFiniteType in both fields, which makes the interface more consistent.
Also fixes the naming of Presentation.of_isIso.