Def CategoryTheory.CostructuredArrow.commaToGrothendieckPrecompFunctor

Modification history