Def CategoryTheory.cartesianClosedOfEquiv

Modification history