Theorem CategoryTheory.Functor.diag_map

Modification history