Theorem CategoryTheory.Functor.id_mapMon_one

Modification history