Theorem CategoryTheory.Localization.SmallShiftedHom.mk₀_comp_mk₀Inv

Modification history

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