Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.sum.associator_map_inl_inl
Modification history
2023-02-28 18:30
Mathlib/CategoryTheory/Sums/Associator.lean
feat: Port CategoryTheory.Sums.Associator (#2447)
Added
CategoryTheory.sum.associator_map_inl_inl
View on Github →