Def CategoryTheory.Discrete.discreteCases

Modification history

2023-06-07 05:59
Mathlib/CategoryTheory/DiscreteCategory.lean
feat: port CategoryTheory.Monoidal.Mon_ (#4763)
Added CategoryTheory.Discrete.discreteCasesView on Github →