Def CategoryTheory.Functor.mapCommMonIdIso

Modification history