Theorem CategoryTheory.Discrete.functor_map

Modification history