Def DerivedCategory.singleFunctorIsoCompQ

Modification history

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