Theorem CategoryTheory.MonoidalClosed.homEquiv_apply_eq

Modification history