Def CategoryTheory.Functor.compConstIso

Modification history