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