Def CategoryTheory.Pairwise.pairwiseCases

Modification history

2026-04-04 23:52
Mathlib/CategoryTheory/Category/Pairwise.lean
chore: bump toolchain to v4.30.0-rc1 (#37564)
Deleted CategoryTheory.Pairwise.pairwiseCasesView on Github →
2023-06-09 07:23
Mathlib/CategoryTheory/Category/Pairwise.lean
chore: review of automation in category theory (#4793) …
Added CategoryTheory.Pairwise.pairwiseCasesView on Github →