Theorem CategoryTheory.Functor.map_comp_assoc

Modification history

2023-09-29 06:57
Mathlib/CategoryTheory/Functor/Basic.lean
chore: exactly 4 spaces in theorems (#7328)
Modified CategoryTheory.Functor.map_comp_assocView on Github →
2023-04-20 03:35
Mathlib/CategoryTheory/Functor/Basic.lean
chore: Upgrade `reassoc`'s simplification skills (#3531) …
Added CategoryTheory.Functor.map_comp_assocView on Github →