Theorem CategoryTheory.Localization.SmallShiftedHom.mk₀Inv_comp_mk₀

Modification history

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