Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.pullbackShiftIso
Modification history
2025-12-12 17:53
Mathlib/CategoryTheory/Shift/Pullback.lean
feat(CategoryTheory/Triangulated): `opOp` and `unopUnop` commute with shifts (#32594) …
Added
CategoryTheory.pullbackShiftIso
View on Github →