Theorem CategoryTheory.ShiftedHom.mk₀_smul

Modification history

2025-10-29 00:03
Mathlib/CategoryTheory/Shift/ShiftedHom.lean
feat(Algebra/Homology): Ext modules (#27416) …
Added CategoryTheory.ShiftedHom.mk₀_smulView on Github →