Theorem CategoryTheory.HasExt.standard

Modification history

2025-01-23 19:32
Mathlib/Algebra/Homology/DerivedCategory/Ext/Basic.lean
feat(CategoryTheory/Abelian): projective dimension (#19604) …
Added CategoryTheory.HasExt.standardView on Github →