Dependency changes

+ Abelian.tfae_epi
+ Abelian.tfae_mono
+ CategoryTheory.Functor.map_exact
+ ChainComplex.exactAt_succ_single_obj
+ CochainComplex.exactAt_succ_single_obj
+ Exact.isColimitCoimage
+ Exact.isColimitImage
+ Exact.isLimitImage
+ Exact.isLimitImage'
+ _root_.CategoryTheory.Exact.lift
+ _root_.CategoryTheory.Exact.lift_comp
+ _root_.CategoryTheory.Injective.Exact.comp_desc
+ _root_.CategoryTheory.Injective.Exact.desc
+ exact_iff_epi_imageToKernel
+ exact_iff_epi_imageToKernel'
+ exact_iff_isIso_imageToKernel
+ exact_iff_of_forks
+ instance {J C : Type*} [Category J] [Category C] [HasColimitsOfShape J C] [Preadditive C] :
+ preservesHomologyOfMapExact
+ preservesHomologyOfPreservesEpisAndKernels
+ preservesHomologyOfPreservesMonosAndCokernels
+ preservesHomologyPreadditiveCoyonedaObjOfProjective
+ preservesHomologyPreadditiveYonedaObjOfInjective
+ reflects_exact_of_faithful
++ instance :
- CategoryTheory.Functor.quasiIso'_of_map_quasiIso'
- ChainComplex.homology'SuccIso
- ChainComplex.homology'ZeroIso
- CochainComplex.homology'SuccIso
- CochainComplex.homology'ZeroIso
- Exact
- Exact.comp_desc
- Exact.desc
- Exact.epi_factorThruKernelSubobject
- Exact.epi_kernel_lift
- Exact.lift
- Exact.lift_comp
- Exact.op
- Exact.op_iff
- Exact.unop
- Exact.unop_iff
- IsEquivalence.exact_iff
- Preadditive.exact_iff_exact_of_iso
- Preadditive.exact_iff_homology'_zero
- Preadditive.exact_of_iso_of_exact
- Preadditive.exact_of_iso_of_exact'
- QuasiIso'
- ReflectsExactSequences
- _root_.CategoryTheory.exact_iff_shortComplex_exact
- boundariesFunctor
- boundariesIsoImage
- boundariesToCycles'NatTrans
- boundariesToCycles'_naturality
- boundaries_additive
- boundaries_eq_bot
- boundaries_eq_imageSubobject
- boundaries_le_cycles'
- cokernel.desc.inv
- comp_eq_zero_of_exact
- comp_eq_zero_of_image_eq_kernel
- condition_ι
- condition_π'
- cycles'Functor
- cycles'IsoKernel
- cycles'Map_arrow
- cycles'Map_comp
- cycles'Map_id
- cycles'Map_toCycles'
- cycles'_additive
- cycles'_eq_kernelSubobject
- cycles'_ext
- cycles_eq_top
- desc'
- epi_iff_cokernel_π_eq_zero
- epi_iff_exact_zero_right
- exact_comp_hom_inv_comp
- exact_comp_hom_inv_comp_iff
- exact_comp_inv_hom_comp
- exact_comp_iso
- exact_comp_mono
- exact_comp_mono_iff
- exact_epi_comp
- exact_epi_comp_iff
- exact_epi_zero
- exact_iff'
- exact_iso_comp
- exact_kernelSubobject_arrow
- exact_kernel_ι
- exact_of_exact_map
- exact_of_image_eq_kernel
- exact_of_is_cokernel
- exact_of_is_kernel
- exact_of_zero
- exact_tfae
- exact_zero_left_of_mono
- exact_zero_mono
- fork_ι_comp_cofork_π
- fromSingle₀KernelAtZeroIso
- fromSingle₀KernelAtZeroIso_inv_eq
- from_single₀_exact_at_succ
- from_single₀_exact_f_d_at_zero
- from_single₀_mono_at_zero
- gradedHomology'Functor
- hom_from_ext
- hom_to_ext
- homology'
- homology'.comp_right_eq_comp_left
- homology'.condition
- homology'.congr
- homology'.desc
- homology'.ext
- homology'.map
- homology'.mapIso
- homology'.map_comp
- homology'.map_desc
- homology'.map_id
- homology'.π
- homology'.π_desc
- homology'.π_map
- homology'.π_map_apply
- homology'Factors
- homology'Factors_hom_app
- homology'Factors_inv_app
- homology'Functor0Single₀
- homology'FunctorIso
- homology'Functor_map_factors
- homology'IsoCokernelImageToKernel'
- homology'IsoCokernelLift
- homology'IsoKernelDesc
- homology'OfZeroLeft
- homology'OfZeroRight
- homology'OpDef
- homology'UnopDef
- homology'ZeroZero
- homology'_ext
- homology'_ext'
- homology'_map_eq_of_homotopy
- homologyFunctor0Single₀
- homologyObjIsoOfHomotopyEquiv
- homology_additive
- imageSubobjectMap_comp_imageToKernel
- imageToKernel_as_boundariesToCycles'
- imageToKernel_isIso_of_image_eq_kernel
- instance (priority := 100) quasiIso'_of_iso (f : C ⟶ D) [IsIso f] : QuasiIso' f
- instance (priority := 100) reflectsExactSequencesOfPreservesZeroMorphismsOfFaithful [Faithful F] :
- instance (w : f ≫ g = 0) : IsIso (homologyCToK f g w)
- instance : Epi (homologyCToK f g w) := by
- instance : Mono (homologyCToK f g w) := by
- instance {J : Type u} [SmallCategory J] [IsFiltered J] :
- isColimitCoimage
- isColimitImage
- isColimitOfExactOfEpi
- isIso_cokernel_desc_of_exact_of_epi
- isIso_kernel_lift_of_exact_of_mono
- isLimitImage
- isLimitImage'
- isLimitOfExactOfMono
- kernel.lift.inv
- kernelSubobject_arrow_eq_zero_of_exact_zero_left
- kernel_comp_cokernel
- kernel_ι_eq_zero_of_exact_zero_left
- lift
- lift_ι
- map_eq_desc'_lift_left
- map_eq_desc'_lift_right
- map_eq_lift_desc'_left
- map_eq_lift_desc'_right
- map_exact
- map_ι
- mono_cokernel_desc_of_exact
- mono_iff_exact_zero_left
- mono_iff_kernel_ι_eq_zero
- preservesFiniteColimitsOfMapExact
- preservesFiniteColimitsOfPreservesEpisAndKernels
- preservesFiniteLimitsOfMapExact
- preservesFiniteLimitsOfPreservesMonosAndCokernels
- preservesZeroMorphisms_of_map_exact
- quasiIso'_comp
- quasiIso'_of_comp_left
- quasiIso'_of_comp_right
- tfae_epi
- tfae_mono
- toQuasiIso'
- toQuasiIso'_inv
- toSingle₀CokernelAtZeroIso
- toSingle₀CokernelAtZeroIso_hom_eq
- to_single₀_epi_at_zero
- to_single₀_exact_at_succ
- to_single₀_exact_d_f_at_zero
- ι
- π'
- π'_desc'
- π'_eq_π
- π'_map
- π'_ι
-- exactAt_succ_single_obj
-- homology'Functor
-- homology'FunctorSuccSingle₀
-- homology'Iso
-- homology'IsoHomology
-- homology'Op
-- homology'Unop
--- exact_iff

## summary with just the declaration names:
./scripts/no_lost_declarations.sh short <optional_commit>

## more verbose report:
./scripts/no_lost_declarations.sh <optional_commit>