Theorem CategoryTheory.Functor.comp_mapCommMon_mul

Modification history