Theorem CategoryTheory.Discrete.functor_obj

Modification history