Theorem CategoryTheory.Localization.SmallShiftedHom.mk₀_id_comp

Modification history

2025-12-11 08:08
Mathlib/CategoryTheory/Localization/SmallShiftedHom.lean
feat(CategoryTheory/Localization): inverse in `SmallShiftedHom` (#32442) …
Added CategoryTheory.Localization.SmallShiftedHom.mk₀_id_compView on Github →