Theorem CategoryTheory.Functor.comp_mapMon_mul

Modification history