Theorem CategoryTheory.Localization.SmallShiftedHom.comp_mk₀_id

Modification history

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