Theorem CategoryTheory.Functor.comp_mapMon_one

Modification history