Def CategoryTheory.Pairwise.pairwiseCases

Modification history

2023-06-09 07:23
Mathlib/CategoryTheory/Category/Pairwise.lean
chore: review of automation in category theory (#4793) …
Added CategoryTheory.Pairwise.pairwiseCasesView on Github →