Theorem CategoryTheory.CatCenter.app_neg_one_zpow

Modification history

2025-12-11 08:08
Mathlib/CategoryTheory/Center/NegOnePow.lean
feat(CategoryTheory): commutation of bifunctors with shifts in two variables (#32303) …
Added CategoryTheory.CatCenter.app_neg_one_zpowView on Github →