Theorem CategoryTheory.Discrete.functor_map_id

Modification history

2023-05-07 05:02
Mathlib/CategoryTheory/DiscreteCategory.lean
chore: bye-bye, solo `by`s! (#3825) …
Modified CategoryTheory.Discrete.functor_map_idView on Github →
2023-02-21 07:40
Mathlib/CategoryTheory/DiscreteCategory.lean
feat: Port CategoryTheory.DiscreteCategory (#2326) …
Added CategoryTheory.Discrete.functor_map_idView on Github →