Def CategoryTheory.cartesianClosedFunctorOfLeftAdjointPreservesBinaryProducts

Modification history