Theorem CategoryTheory.Functor.comp_mapCommMon_one

Modification history