Theorem CategoryTheory.Functor.mapCommMon_id_mul

Modification history