Def CategoryTheory.Functor.precomposeWhiskerLeftMapCocone

Modification history