Theorem CategoryTheory.CatCenter.mul_app'

Modification history

2025-04-27 18:32
Mathlib/CategoryTheory/Center/Basic.lean
feat(CategoryTheory): the center of a category (#23777) …
Added CategoryTheory.CatCenter.mul_app'View on Github →