Def CategoryTheory.Limits.prod.functor

Modification history