Theorem CategoryTheory.CartesianClosed.uncurry_eq

Modification history