Theorem CategoryTheory.Functor.id_mapMon_mul

Modification history