Def DerivedCategory.singleFunctors

Modification history

2026-03-28 11:48
Mathlib/Algebra/Homology/DerivedCategory/Basic.lean
chore: avoid `dsimp; infer_instance` (#37288) …
Added DerivedCategory.singleFunctorsView on Github →