Theorem CategoryTheory.cartesianClosedFunctorOfLeftAdjointPreservesBinaryProducts

Modification history