Theorem CategoryTheory.Functor.mapCommMon_id_one

Modification history