Def CategoryTheory.sum.associator
Modification history
2025-03-17 07:57
Mathlib/CategoryTheory/Sums/Associator.lean
refactor(CategoryTheory/Sums): refactor sums of categories (#22976) …
Modified CategoryTheory.sum.associatorView on Github →2024-07-20 07:03
Mathlib/CategoryTheory/Sums/Associator.lean
chore(*): use ⊕ notation for `Sum` (#14934)
Modified CategoryTheory.sum.associatorView on Github →